Integritet (operativsystem)

Integrity  är ett realtidsoperativsystem utvecklat av Kalifornien - baserade Green Hills Software . POSIX- certifierad . Den är fokuserad på inbyggda system med en processor, i vars centrala processor det finns en minneshanteringsenhet (arkitekturerna ARM , XScale , Blackfin , Freescale ColdFire , MIPS , PowerPC , x86 ). Systemet är baserat på mikrokärnan med µ-hastighet . Systemets huvudfunktion är feltolerans (om ett fel inträffar i något program som körs i det här operativsystemet, kommer systemet som helhet att fortsätta att fungera normalt, och det kommer att försöka starta om det fallna programmet genom att förse det med dessa områden med dataminne som tilldelades applikationen innan den föll).

Integrity-178B

Integrity-178B  är ett realtidsoperativsystem, en "undergrupp" av Integrity, certifierat enligt nivå A i DO-178B- standarden (i Ryssland är det känt som KT-178B [1] ). Stöder fullt ut ARINC 653 -1-Application/Executive (APEX) API.

Används i amerikanska militärflygplan ( t.ex. F-16 , F-22 , F-35 ) och helikoptrar , även i civila Airbus A380 , Boeing 787 .

Anteckningar

1. ↑ Arkiverad kopia (länk ej tillgänglig) . Hämtad 1 november 2011. Arkiverad från originalet 17 november 2011.  (obestämd)  "Krav för programvaran för utrustning ombord och system för certifiering av flygutrustning"

Länkar

• Säkerhetskritiska produkter INTEGRITY-178B Realtidsoperativsystem