Suvarna Garge (Editor)

Integrity (operating system)

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Marketing target
  
Working state
  
Current

Source model
  
Closed source (classified)

Platforms
  
ARM, XScale, Blackfin, Freescale ColdFire, MIPS, PowerPC, x86

Integrity and Integrity-178B are real-time operating systems (RTOSes) produced and marketed by Green Hills Software. Integrity-178B has a unique feature: an EAL6 rating.

Contents

Integrity

Integrity is POSIX-certified and intended for use in 32-bit or 64-bit embedded systems. Supported platforms include variants of ARM and XScale, Blackfin, Freescale ColdFire, MIPS, PowerPC, and x86 computer architectures.

Integrity-178B

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. 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 Target-of-Evaluation (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.

Supported Processor Families

The INTEGRITY ASP (Architecture Support Package) provides support for the following processor families:

  • Applied Micro (AMCC) Power Architecture
  • Altera
  • AMD x86
  • ARM Ltd. ARM
  • Freescale MPC5xxx Qorivva (Power Architecture)
  • Freescale QorIQ (Power Architecture)
  • Freescale ColdFire
  • Freescale i.MX (ARM)
  • Freescale Vybrid (ARM)
  • Fujitsu EMERALD
  • Marvell PXA (ARM)
  • Marvell Armada (ARM)
  • Renesas R-Car (ARM)
  • MIPS Technologies MIPS
  • Intel Architecture
  • Texas Instruments Jacinto (ARM)
  • Texas Instruments OMAP (ARM)
  • Texas Instruments DaVinci (ARM)
  • Texas Instruments Sitara (ARM)
  • Xilinx Zynq (ARM)
  • References

    Integrity (operating system) Wikipedia


    Similar Topics