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

INTEGRITY和INTEGRITY-178B是Green 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-16、F-22和F-35等軍用飛機上，也被用在空客A380等民用飛機上^[2]。它在內核設計中去掉了動態內存分配功能，從而保證了所有操作均能在指定時間內完成。

審計和安全工程使得它在資訊技術上，可以通過資訊技術安全評估共同準則（CC）的評估保障等級（EAL） 6評級。整個評估目標（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]. （原始內容存檔於2012-05-02）.
^ Kelly Jackson Higgins. Secure OS Gets Highest NSA Rating, Goes Commercial. Dark Reading. 2008-11-18 [2013-12-01]. （原始內容存檔於2013-12-03）.
^ Integrity-178B Separation Kernel Security Target (PDF). SAIC. 2011-01-31 [2011-03-22]. （原始內容存檔 (PDF)於2011-07-23）.

外部連結

官方網站
官方網站 INTEGRITY-178B

[VITA_Technologies_Magazine-1] Board or bored? Lockheed Martin gets into the COTS hardware biz. VITA Technologies Magazine. December 10, 2010 [9 March 2012]. （原始內容存檔於2012-05-02）.

[darkreading-2] Kelly Jackson Higgins. Secure OS Gets Highest NSA Rating, Goes Commercial. Dark Reading. 2008-11-18 [2013-12-01]. （原始內容存檔於2013-12-03）.

[securitytarget-3] Integrity-178B Separation Kernel Security Target (PDF). SAIC. 2011-01-31 [2011-03-22]. （原始內容存檔 (PDF)於2011-07-23）.

[1]

[2]

[3]