Integrity (operating system)
| INTEGRITY | |
|---|---|
| Developer | Green Hills Software |
| OS family | Real-time operating systems |
| Working state | Current |
| Source model | Closed source (classified) |
| Repository |
|
| Marketing target | Embedded systems |
| Available in | English |
| Supported platforms | ARM, XScale, Blackfin, ColdFire, MIPS, PowerPC, IA-32, x86-64 |
| Kernel type | Microkernel |
| Userland | POSIX |
| License | Proprietary |
| Official website | www |
INTEGRITY and INTEGRITY-178B are real-time operating systems (RTOSes) produced and marketed by Green Hills Software.
INTEGRITY
[edit | edit source]INTEGRITY is POSIX-certified and intended for use in embedded systems of 32-bits or 64-bits. Supported computer architectures include variants of: ARM, Blackfin, ColdFire, MIPS, PowerPC, XScale, and x86. INTEGRITY is supported by popular SSL/TLS libraries such as wolfSSL.[1]
INTEGRITY-178B
[edit | edit source]INTEGRITY-178B is the DO-178B–compliant version of INTEGRITY. It is used in several military jets such as the B-2,[2] F-16, F-22, and F-35, and the commercial aircraft Airbus A380.[3] Its kernel design guarantees bounded computing times by eliminating features such as dynamic memory allocation.
The auditing and security engineering abilities have allowed it to obtain the Evaluation Assurance Level (EAL) 6 rating by the National Security Agency (NSA).[3] The Target of Evaluation (TOE) Architecture in the Security Target for the evaluation excludes components such as those for file system and networking, from the definition of the TOE, focusing almost solely on the core kernel.[4] Other operating systems, such as Windows, macOS or Linux, though evaluated at lower levels of assurance, generally include these abilities within their TOE.
Supported processor architectures
[edit | edit source]The INTEGRITY Architecture Support Package (ASP) provides support for many processor families:
References
[edit | edit source]- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
External links
[edit | edit source]- Official website
- Official website INTEGRITY-178B
