Military Embedded Systems

Green Hills Software?s INTEGRITY-178B Receives Editor?s Choice Award from Military Embedded Systems Magazine


February 09, 2009

Highest Common Criteria Security Level Ever Achieved for a Software Product


Green Hills Software, Inc., the world leader in secure operating systems, today announced that Military Embedded Systems magazine, a leading publication in the military and aerospace industry, has selected the INTEGRITY®-178B real-time operating system for its Editor’s Choice Award due to the operating system’s recent EAL6+ High Robustness security certification.

The INTEGRITY-178B real-time operating system’s EAL6+ High Robustness certification is the first of its kind and the highest Common Criteria security level ever achieved for an operating system or any other software product. Only an EAL6+ High Robustness operating system is certified to protect classified information and other high value resources at risk of attack from hostile and well-funded attackers.

Chris Ciufo, OpenSystems Publishing Group Editorial Director and Editor of Military Embedded Systems magazine, selected INTEGRITY-178B for the award, asserting that the certification is unquestionably an industry milestone event, setting a new standard to which other vendors of security-critical software products can aspire.

“I applaud Green Hills Software for its achievement with INTEGRITY-178B, a product that has set the benchmark for safety and security in operating systems for well over a decade,” said Chris Ciufo. “As software complexity and network connectivity in embedded systems continue to increase, high robustness solutions are critical to the success of these systems.”



INTEGRITY-178B was certified against the Common Criteria’s U.S. Government Protection Profile for Separation Kernels in Environments Requiring High Robustness (SKPP). The SKPP specifies “security services and mechanisms that provide the most stringent protection and rigorous security countermeasures.” SKPP requirements include the use of formal methods to mathematically prove the security policies, formal specifications, formal correspondence between design and implementation, complete test coverage of all functional requirements, and penetration testing by the NSA which has complete access to the source code. The certification of INTEGRITY-178B began in 2005. INTEGRITY-178B has also been certified to DO-178B Level A, the highest level of avionics safety certification granted by the Federal Aviation Administration and has been deployed for more than a decade in systems that require absolute security and total reliability, including avionics, military and intelligence computers, networking gear, and mobile devices.


About Green Hills Software

Founded in 1982, Green Hills Software, Inc. is the technology leader in device software optimization (DSO) and real-time operating systems (RTOS) for 32- and 64-bit embedded systems. In 2008, the Green Hills INTEGRITY-178B RTOS was the first and only operating system to be certified by the NSA to EAL6+ High Robustness, the highest level of security ever achieved. Our royalty-free INTEGRITY® and velOSity™ real-time operating systems, µ-velOSity™ microkernel, compilers, IPv6-ready TCP/IP networking stack, GateD® Layer 2 switching and Layer 3 routing, MULTI® and AdaMULTI™ integrated development environments, DoubleCheck™ integrated static analyzer and TimeMachine™ tool suite offer a complete development solution that addresses both deeply embedded and high-reliability applications. Green Hills Software is headquartered in Santa Barbara, CA, with European headquarters in the United Kingdom. Visit Green Hills Software at


# # #

Green Hills, the Green Hills logo, MULTI, INTEGRITY, velOSity, µ-velOSity, AdaMULTI, DoubleCheck and TimeMachine, are trademarks or registered trademarks of Green Hills Software, Inc. in the U.S. and/or internationally. All other trademarks are the property of their respective owners.



Featured Companies

Green Hills Software, Inc.

30 West Sola Street
Santa Barbara, California 93101