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

外部連結