Butunlik (operatsion tizim) - Integrity (operating system)

BUTUNLIK
TuzuvchiGreen Hills dasturi
OS oilasiHaqiqiy vaqtdagi operatsion tizimlar
Ishchi holatJoriy
Manba modeliYopiq manba (tasniflangan)
Marketing maqsadiO'rnatilgan tizimlar
Mavjud:Ingliz tili
PlatformalarARM, XScale, Blekfin, ColdFire, MIPS, PowerPC, IA-32, x86-64
Kernel turiMikrokernel
LitsenziyaMulkiy
Rasmiy veb-saytwww.ghs.com/ mahsulotlar/ rtos/ yaxlitlik.html

BUTUNLIK va BUTUNLIK-178B bor real vaqt operatsion tizimlari (RTOSes) tomonidan ishlab chiqarilgan va sotilgan Green Hills dasturi.

BUTUNLIK

BUTUNLIK - bu POSIX - sertifikatlangan va foydalanish uchun mo'ljallangan o'rnatilgan tizimlar ning 32-bit yoki 64-bit. Qo'llab-quvvatlanadi kompyuter arxitekturalari variantlarini o'z ichiga oladi: ARM, Blekfin, ColdFire, MIPS, PowerPC, XScale va x86. INTEGRITY mashhur tomonidan qo'llab-quvvatlanadi SSL / TLS kabi kutubxonalar wolfSSL.[1]

BUTUNLIK-178B

INTEGRITY-178B bu DO-178B - INTEGRITY-ning mos versiyasi. Kabi bir nechta harbiy samolyotlarda ishlatiladi B-2,[2] F-16, F-22 va F-35 va tijorat samolyoti Airbus A380.[3] Uning yadro kabi xususiyatlarni yo'q qilish orqali dizayn cheklangan hisoblash vaqtlarini kafolatlaydi xotirani dinamik ravishda taqsimlash.

Auditorlik tekshiruvi va xavfsizlik muhandisligi qobiliyatlar unga erishishga imkon berdi Baholashni ta'minlash darajasi (EAL) tomonidan 6 reyting Milliy xavfsizlik agentligi (NSA).[3] Baholash maqsadi (BO) arxitekturasi Xavfsizlik maqsadi chunki baholash uchun komponentlar bundan mustasno fayl tizimi va tarmoq, BO ta'rifidan deyarli faqat yadro yadrosiga e'tibor qaratiladi.[4] Kabi boshqa operatsion tizimlar Windows, macOS yoki Linux, garchi ishonchning quyi darajalarida baholangan bo'lsa-da, odatda ushbu qobiliyatlarni BO tarkibiga kiritadi.

Qo'llab-quvvatlanadigan protsessor me'morchiligi

INTEGRITY Architecture Support Package (ASP) ko'plab protsessor oilalarini qo'llab-quvvatlaydi:

Adabiyotlar

  1. ^ "Integrity OS bilan i.MX6 CAAM - wolfSSL". 2018-10-26. Olingan 2019-02-14.
  2. ^ "Bortmi yoki zerikdingizmi? Lockheed Martin bizni COTS apparati ichiga oladi". VITA Technologies jurnali. 2010 yil 10-dekabr. Olingan 9 mart 2012.
  3. ^ a b Kelli Jekson Xiggins (2008-11-18). "Xavfsiz OS eng yuqori NSA reytingini oldi va tijoratga o'tdi". Qorong'u o'qish. Olingan 2013-12-01.
  4. ^ "Integrity-178B ajratish yadrosi xavfsizligi maqsadi" (PDF). SAIC. 2011-01-31. Olingan 2011-03-22.

Tashqi havolalar