INTEGRITY (操作系统)

INTEGRITYINTEGRITY-178BGreen Hills Software英语Green Hills Software制作和销售的实时操作系统

INTEGRITY
开发者Green Hills Software英语Green Hills Software
编程语言C
操作系统家族实时操作系统
运作状态活跃
源码模式闭源 (保密)
市场取向嵌入式系统
支援平台ARM, XScale, Blackfin, ColdFire, MIPS, PowerPC, IA-32, x86-64
内核类别微内核
许可证私有软件
官方网站www.ghs.com/products/rtos/integrity.html

INTEGRITY

INTEGRITY 是一个可以用于32位或64位嵌入式系统的POSIX合规的操作系统。支持的架构包括ARM,Blackfin,Coldfire,MIPS,PowerPC,XScale和x86。

INTEGRITY-178B

INTEGRITY-178B是DO-178B完全合规的INTEGRITY版本。它被用在B-2[1]F-16F-22F-35等军用飞机上,也被用在空客A380等民用飞机上[2]。它在内核设计中去掉了动态内存分配功能,从而保证了所有操作均能在指定时间内完成。

审计和安全工程使得它在资讯技术上,可以通过资讯技术安全评估共同准则(CC)的评估保障等级(EAL) 6评级。整个评估目标(Target of Evaluation,TOE)不包括文件系统和网络等,而是集中于内核本身[3]。其他的操作系统,比如Windows或者Linux,即便被认证在更低等级,但TOE中包括了这些组件。

参见

参考文献

  1. ^ Board or bored? Lockheed Martin gets into the COTS hardware biz. VITA Technologies Magazine. December 10, 2010 [9 March 2012]. (原始内容存档于2012-05-02). 
  2. ^ Kelly Jackson Higgins. Secure OS Gets Highest NSA Rating, Goes Commercial. Dark Reading. 2008-11-18 [2013-12-01]. (原始内容存档于2013-12-03). 
  3. ^ Integrity-178B Separation Kernel Security Target (PDF). SAIC. 2011-01-31 [2011-03-22]. (原始内容存档 (PDF)于2011-07-23). 

外部链接