Share to: share facebook share twitter share wa share telegram print page

INTEGRITY (操作系统)

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

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

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). 

外部链接

Prefix: a b c d e f g h i j k l m n o p q r s t u v w x y z 0 1 2 3 4 5 6 7 8 9

Portal di Ensiklopedia Dunia

Kembali kehalaman sebelumnya