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啊蓝牙之类的
