INTEGRITY (操作系统)
此條目介紹的是实时操作系统。关于Integrity的其他意思，请见「Integrity (消歧义)」。| 开发者 | 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]。它在内核设计中去掉了动态内存分配功能，从而保证了所有操作均能在指定时间内完成。
审计和安全工程使得它在資訊技術上，可以通過資訊技術安全評估共同準則（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）.