| INTEGRITY | |
|---|---|
| Developer | Green Hills Software |
| OS family | Real-time operating systems |
| Working state | Current |
| Source model | Closed source (classified) |
| 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 andINTEGRITY-178B arereal-time operating systems (RTOSes) produced and marketed byGreen Hills Software.
INTEGRITY isPOSIX-certified and intended for use inembedded systems of32-bits or64-bits. Supportedcomputer architectures include variants of:ARM,Blackfin,ColdFire,MIPS,PowerPC,XScale, andx86. INTEGRITY is supported by popularSSL/TLS libraries such aswolfSSL.[1]
INTEGRITY-178B is theDO-178B–compliant version of INTEGRITY. It is used in several military jets such as theB-2,[2]F-16,F-22, andF-35, and the commercial aircraftAirbus A380.[3] Itskernel design guarantees bounded computing times by eliminating features such asdynamic memory allocation.
The auditing andsecurity engineering abilities have allowed it to obtain theEvaluation Assurance Level (EAL) 6 rating by theNational Security Agency (NSA).[3] The Target of Evaluation (TOE) Architecture in theSecurity Target for the evaluation excludes components such as those forfile system andnetworking, from the definition of the TOE, focusing almost solely on the core kernel.[4] Other operating systems, such asWindows,macOS orLinux, though evaluated at lower levels of assurance, generally include these abilities within their TOE.
The INTEGRITY Architecture Support Package (ASP) provides support for many processor families:
Real-time operating systems (RTOS) | |||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Operating systems |
| ||||||||||||||||||||||||||||||||||
| Frameworks,kits | |||||||||||||||||||||||||||||||||||
| Developers | |||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||
| Kernels |
| ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Operating systems |
| ||||||||||||||||||||||||
| Frameworks,kits | |||||||||||||||||||||||||
| Developers | |||||||||||||||||||||||||
| |||||||||||||||||||||||||
