INTEGRITY (操作系统)

INTEGRITY和INTEGRITY-178B是Green Hills Software制作和销售的实时操作系统。

  此條目介紹的是实时操作系统。关于Integrity的其他意思，请见「Integrity (消歧义)」。
INTEGRITY
开发者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-16、F-22和F-35等军用飞机上，也被用在空客A380等民用飞机上。[2] 它在内核设计中去掉了动态内存分配功能，从而保证了所有操作均能在指定时间内完成。

审计和安全工程使得它能够得到NSA的EAL6评级。整个评估目标（Target of Evaluation，TOE）不包括文件系统和网络等，而是集中于内核本身。[3] 其他的操作系统，比如Windows或者Linux，即便被认证在更低等级，但TOE中包括了这些组件。

參見

参考文献
  1. . VITA Technologies Magazine. December 10, 2010 [9 March 2012]. （原始内容存档于2012-05-02）.
  2. Kelly Jackson Higgins. . Dark Reading. 2008-11-18 [2013-12-01]. （原始内容存档于2013-12-03）.
  3. (PDF). SAIC. 2011-01-31 [2011-03-22]. （原始内容存档 (PDF)于2011-07-23）.

外部链接
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.