Integritás (operációs rendszer)

Az Integrity  egy valós idejű operációs rendszer , amelyet a kaliforniai Green Hills Software fejlesztett ki . POSIX tanúsítvánnyal rendelkezik . Az egyprocesszoros beágyazott rendszerekre összpontosít , amelyek központi processzorában egy memóriakezelő egység található ( ARM , XScale , Blackfin , Freescale ColdFire , MIPS , PowerPC , x86 architektúrák ). A rendszer a µ-sebességű mikrokernelen alapul . A rendszer fő jellemzője a hibatűrés (ha az ebben az operációs rendszerben futó bármely programban hiba lép fel, a rendszer egésze továbbra is normálisan fog működni, és megpróbálja újraindítani a kiesett alkalmazást azáltal, hogy a adatmemória , amelyet a bukás előtt lefoglaltak az alkalmazáshoz).

Integrity-178B

Az Integrity-178B  egy valós idejű operációs rendszer, az Integrity „alhalmaza”, amely a DO-178B szabvány A szintje szerint tanúsított (Oroszországban KT-178B [1] néven ismert ). Teljes mértékben támogatja az ARINC 653 -1-Application/Executive (APEX) API-t.

Amerikai katonai repülőgépekben (pl . F-16 , F-22 , F-35 ) és helikopterekben , polgári Airbus A380 -ban, Boeing 787 -ben is használják .

Jegyzetek

1. ↑ Archivált másolat (a hivatkozás nem elérhető) . Letöltve: 2011. november 1. Az eredetiből archiválva : 2011. november 17..  (határozatlan)  "A fedélzeti berendezések szoftverére és a légiközlekedési berendezések tanúsítására szolgáló rendszerekre vonatkozó követelmények"

Linkek

• Biztonságkritikus termékek INTEGRITY-178B valós idejű operációs rendszer