INTEGRITY is a real-time operating system (RTOS) produced and marketed by Green Hills Software. It is royalty-free, POSIX-certified, and intended for use in embedded systems needing reliability, availability, and fault tolerance. It is built atop the velOSity microkernel and is intended mainly for modern 32- or 64-bit embedded system designs that support an MMU.

INTEGRITY uses hardware memory protection to isolate and protect itself and user tasks from incorrect operation caused by accidental errors or malicious tampering. Supported platforms include variants of ARM and XScale, Blackfin, Freescale ColdFire, MIPS, PowerPC, and x86 computer architectures. There is also INTEGRITY-178B, a certifiable version for Safety-Critical applications.

INTEGRITY-178B is a royalty-free ARINC ARINC-653-1–compliant real-time operating system (RTOS) manufactured and marketed by Green Hills Software. It is a subset of the securely partitioned INTEGRITY real-time operating system. It targets demanding, safety-critical applications containing multiple programs with different levels of safety criticality, all executing on a single processor.

(The "178B" indicates conformance to DO-178B.) Integrity-178B is used in several military jets such as the F-16, F-22, and F-35, as well as the commercial airframes Airbus A380 and Boeing 787. The INTEGRITY-178B kernel's design guarantees bounded computation times by eliminating features such as dynamic memory allocation. An MMU is used to provide full-system memory protection for all components, including user applications, device drivers, and inter-partition communications.

Clocks and timers are protected with access permissions and implemented entirely in software. INTEGRITY-178B uses memory protection and error-handling to provide a secure system with built-in fault isolation and tolerance. At the lowest level, the kernel is protected from malicious access through its object-oriented design and access verification.

The auditing and security engineering capabilities have allowed INTEGRITY-178B to obtain the EAL6 rating by the NSA. A commercial version has now been announced.

Similar to 0 things you like: