Business Insider

Green Hills Software's INTEGRITY-178 tuMP Multicore Operating System Integrated into the Resilient Embedded GPS/Internal Navigation System Prototype Pilot

SANTA BARBARA, Calif., Oct. 17, 2017 /PRNewswire/ -- Green Hills Software, the worldwide leader in high assurance operating systems, today announced that it has been selected by Infinite Dimensions ...
Business Insider

Green Hills Software Officially Underway with Conformance Testing of Its INTEGRITY-178 tuMP Operating System to the FACE Technical Standard v3.0 for Intel, Arm and Power ...

HUNTSVILLE, Ala., Sept.18, 2018 /PRNewswire/ -- Green Hills Software, the worldwide leader in high-assurance operating systems, today announced that it has commenced verification and validation ...
ZDNet

OS earns highest-ever gov't security rating. Does that make it "most secure?"

I have to admit that I had never before heard of a certification called EAL6+ High Robustness until the folks at Green Hills Software reached out to tell me that they were about to get it for their ...
Aviation Today

Northrop Grumman’s E-2D, F-22 Embedded GPS System Upgrade to Run on INTEGRITY-178 RTOS

Northrop Grumman’s $59 million contract to develop an upgraded embedded GPS system for E-2D Hawkeye and F-22 Raptor aircraft will run on a real time operating system (RTOS) supplied by Green Hills ...
Aviation Today

INTEGRITY-178 is First FACE 3.0 Multicore Real Time Operating System

A real time operating system developed by Green Hills has become the avionics industry’s first multicore system to achieve the Future Airborne Capability Environment’s (FACE) 3.0 technical standard.
Ars Technica

EAL ratings for various operating systems

i was reading up on the INTEGRITY operating system and was wondering if there is a place where i can find the EAL ratings for windows, bsd, and linux? i've heard "windows" received a EAL of 4, "linux" ...