Integrity (operating system)
|Company / developer||Green Hills Software|
|OS family||Real-time operating systems|
|Source model||Closed source (classified)|
|Marketing target||Embedded systems|
|Supported platforms||ARM, XScale, Blackfin, Freescale ColdFire, MIPS, PowerPC, x86|
Integrity is POSIX-certified and intended for use in 32- or 64-bit embedded systems. Supported platforms include variants of ARM and XScale, Blackfin, Freescale ColdFire, MIPS, PowerPC, and x86 computer architectures.
Integrity-178B is the DO-178B–compliant version of Integrity. It is used in several military jets such as the B-2, F-16, F-22 and F-35, as well as the commercial airframes Airbus A380 and Boeing 787. Its kernel's design guarantees bounded computation times by eliminating features such as dynamic memory allocation.
The auditing and security engineering capabilities have allowed it to obtain the EAL6 rating by the NSA. The TOE Architecture in the Security Target for the evaluation excludes components such as the file system and networking components from the definition of the TOE, focusing almost entirely on the core kernel itself. Other operating systems, such as Windows or Linux, though evaluated at lower levels of assurance, generally include these capabilities within their TOE.
- "Board or bored? Lockheed Martin gets into the COTS hardware biz". VITA Technologies Magazine. December 10, 2010. Retrieved 9 March 2012.
- Kelly Jackson Higgins (2008-11-18). "Secure OS Gets Highest NSA Rating, Goes Commercial". Dark Reading. Retrieved 2013-12-01.
- "Integrity-178B Separation Kernel Security Target". SAIC. 2011-01-31. Retrieved 2011-03-22.