開發者 | Green Hills Software |
---|---|
程式語言 | C |
作業系統家族 | 實時作業系統 |
運作狀態 | 活躍 |
源碼模式 | 閉源 (保密) |
目標市場 | 嵌入式系統 |
支援平台 | ARM, XScale, Blackfin, ColdFire, MIPS, PowerPC, IA-32, x86-64 |
內核類別 | 微內核 |
許可證 | 私有軟件 |
官方網站 | www |
INTEGRITY和INTEGRITY-178B是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-16、F-22和F-35等軍用飛機上,也被用在空客A380等民用飛機上。[2]它在內核設計中去掉了動態內存分配功能,從而保證了所有操作均能在指定時間內完成。
審計和安全工程使得它能夠得到NSA的EAL6評級。整個評估目標(Target of Evaluation,TOE)不包括文件系統和網絡等,而是集中於內核本身。[3]其他的作業系統,比如Windows或者Linux,即便被認證在更低等級,但TOE中包括了這些組件。
參見
- Haiku – 開源桌面作業系統
- FreeRTOS – 微內核,實時作業系統(RTOS)
- Redox - Rust實現的微內核作業系統
- QNX – 符合POSIX,微內核實時作業系統(RTOS)
- L4微內核系列 – L4系列,小而快的開源微內核
- 貝爾實驗室九號計劃 – 為了接替UNIX的分佈式作業系統
- MINIX 3 – 類Unix微內核作業系統
參考文獻
- ↑ Board or bored? Lockheed Martin gets into the COTS hardware biz. VITA Technologies Magazine. December 10, 2010 [9 March 2012].
- ↑ Kelly Jackson Higgins. Secure OS Gets Highest NSA Rating, Goes Commercial. Dark Reading. 2008-11-18 [2013-12-01].
- ↑ Integrity-178B Separation Kernel Security Target (PDF). SAIC. 2011-01-31 [2011-03-22].