INTEGRITY 178B，最開始為了B1B（核彈轟炸機）設計，後來被用作B2，F16，F22，F35（都是戰鬥機）的作業系統，再後來也被用於民航（787 A380）的作業系統。這是我們公司（Green Hills Software，我們sponsor pb，歡迎廣大在美國讀CS的同學前來應聘！簡歷可以發到我的信箱[email protected]或者公司招聘信箱[email protected]，私貨夾藏完畢！）的一個產品。
迄今為止唯一一個過了EAL 6+的軟體（應該絕後了，因為6+好像由於太難達到取消了）。
有人說軍工軟體比較low，從科技進步的角度說，這是毫無疑問的。拿INTEGRITY 178B來說，這個作業系統沒有動態分配記憶體的功能，沒有動態分配address space的功能，沒有動態增加task的功能。scheduler裏面提前分配好了每個task可以占用的時間，甚至包括所有的中斷可能占用的時間。這種OS的效率可以說低得令人發指。更不要說這個OS根本沒有什麽USB啊藍芽之類的
