Integritate (sistem de operare)

Integrity  este un sistem de operare în timp real dezvoltat de Green Hills Software din California . Certificat POSIX . Este axat pe sisteme embedded cu un singur procesor , în procesorul central al cărora se află o unitate de gestionare a memoriei (arhitecturi ARM , XScale , Blackfin , Freescale ColdFire , MIPS , PowerPC , x86 ). Sistemul se bazează pe microkernel -ul cu viteza µ . Caracteristica principală a sistemului este toleranță la erori (dacă are loc o defecțiune în orice program care rulează în acest sistem de operare, sistemul în ansamblu va continua să funcționeze normal, iar aplicația prăbușită va încerca să repornească, furnizându-i acele zone de memorie de date care au fost alocate aplicației înainte de a se prăbuși).

Integritate-178B

Integrity-178B  este un sistem de operare în timp real, un „subset” de Integrity, certificat conform nivelului A al standardului DO-178B (în Rusia este cunoscut ca KT-178B [1] ). Suportă pe deplin API ARINC 653 -1-Application/Executive (APEX).

Folosit în avioanele militare americane (de exemplu F-16 , F-22 , F-35 ) și elicoptere , de asemenea, în Airbus A380 civil , Boeing 787 .

Note

1. ↑ Copie arhivată (link nu este disponibil) . Consultat la 1 noiembrie 2011. Arhivat din original pe 17 noiembrie 2011.  (nedefinit)  „Cerințe pentru software-ul echipamentelor și sistemelor de bord pentru certificarea echipamentelor de aviație”

Link -uri

• Produse critice pentru siguranță INTEGRITY-178B Sistem de operare în timp real