Integrita (operační systém)

Integrity  je operační systém pracující v reálném čase vyvinutý společností Green Hills Software se sídlem v Kalifornii . Certifikováno POSIX . Je zaměřen na jednoprocesorové vestavěné systémy , v jejichž centrálním procesoru je umístěna jednotka správy paměti (architektury ARM , XScale , Blackfin , Freescale ColdFire , MIPS , PowerPC , x86 ). Systém je založen na mikrokernelu µ-velosity . Hlavním rysem systému je odolnost proti chybám (pokud dojde k selhání v libovolném programu spuštěném v tomto operačním systému, systém jako celek bude nadále normálně fungovat a pokusí se restartovat padlou aplikaci tím, že jí poskytne tyto oblasti datová paměť , která byla aplikaci přidělena před jejím pádem).

Integrita-178B

Integrity-178B  je operační systém pracující v reálném čase, „podmnožina“ Integrity, certifikovaný podle úrovně A standardu DO-178B (v Rusku je znám jako KT-178B [1] ). Plně podporuje ARINC 653 -1-Application/Executive (APEX) API.

Používá se v amerických vojenských letounech (např . F-16 , F-22 , F-35 ) a vrtulnících , také v civilních Airbusech A380 , Boeing 787 .

Poznámky

1. ↑ Archivovaná kopie (odkaz není dostupný) . Získáno 1. listopadu 2011. Archivováno z originálu 17. listopadu 2011.  (neurčitý)  "Požadavky na software palubního vybavení a systémů pro certifikaci leteckého vybavení"

Odkazy

• Bezpečnostně důležité produkty INTEGRITY-178B Operační systém v reálném čase