Integrität (Betriebssystem) - Integrity (operating system)
Entwickler | Green Hills-Software |
---|---|
Betriebssystemfamilie | Echtzeit-Betriebssysteme |
Arbeitszustand | Strom |
Quellmodell | Geschlossene Quelle (klassifiziert) |
Marketingziel | Eingebettete Systeme |
Verfügbar in | Englisch |
Plattformen | ARM , XScale , Blackfin , ColdFire , MIPS , PowerPC , IA-32 , x86-64 |
Kernel- Typ | Mikrokernel |
Userland | POSIX |
Lizenz | Proprietär |
Offizielle Website | www |
INTEGRITY und INTEGRITY-178B sind Echtzeit-Betriebssysteme (RTOS), die von Green Hills Software produziert und vermarktet werden .
INTEGRITÄT
INTEGRITY ist POSIX -zertifiziert und für den Einsatz in eingebetteten Systemen von 32-Bit oder 64-Bit . Zu den unterstützten Computerarchitekturen gehören Varianten von: ARM , Blackfin , ColdFire , MIPS , PowerPC , XScale und x86 . INTEGRITY wird von beliebten SSL/TLS- Bibliotheken wie wolfSSL unterstützt .
INTEGRITÄT-178B
INTEGRITY-178B ist die DO-178B- konforme Version von INTEGRITY. Es wird in mehreren Militärflugzeugen wie der B-2 , F-16 , F-22 und F-35 sowie in den Verkehrsflugzeugen Airbus A380 eingesetzt . Sein Kernel- Design garantiert begrenzte Rechenzeiten, indem es Features wie die dynamische Speicherzuweisung eliminiert .
Die Auditing- und Security-Engineering- Fähigkeiten haben es ihm ermöglicht, das Rating Assurance Level (EAL) 6 der National Security Agency (NSA) zu erhalten. Die Target of Evaluation (TOE) Architecture im Security Target für die Evaluation schließt Komponenten wie die für Dateisystem und Netzwerke von der Definition des TOE aus und konzentriert sich fast ausschließlich auf den Kernkern. Andere Betriebssysteme wie Windows , MacOS oder Linux enthalten diese Funktionen im Allgemeinen in ihren EVG, obwohl sie mit geringerer Sicherheit bewertet wurden.
Unterstützte Prozessorarchitekturen
Das INTEGRITY Architecture Support Package (ASP) bietet Unterstützung für viele Prozessorfamilien:
Verweise
Externe Links
- Offizielle Website
- Offizielle Website INTEGRITY-178B