INTEGRITY (操作系统)
INTEGRITY和INTEGRITY-178B是Green Hills Software制作和销售的实时操作系统。
开发者 | Green Hills Software |
---|---|
编程语言 | C |
作業系統家族 | 实时操作系统 |
運作狀態 | 活跃 |
源码模式 | 闭源 (保密) |
市場取向 | 嵌入式系统 |
支援平台 | ARM, XScale, Blackfin, ColdFire, MIPS, PowerPC, IA-32, x86-64 |
内核类别 | 微内核 |
许可证 | 私有软件 |
官方網站 | www |
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中包括了这些组件。
參見编辑
参考文献编辑
- ^ 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).
外部链接编辑
🔥 Top keywords: Baike: 首页Special:搜索毛泽东家族榮耀之繼承者天之驕女鐵拳英雄九龍城寨之圍城黃循財背着善宰跑篠崎泫妮妃雅新生 (网络剧)劉偉健斯洛伐克习近平劉俊謙 (香港)李显龙歌手2024佛誕淚之女王2024年泰國羽球公開賽新加坡總理邊佑錫新加坡Energy (組合)庆余年九龍寨城六四事件家族榮耀金智媛彌助菲律宾胖猫跳江事件劉寶傑DAY6林峯張文傑李光耀神耆小子張鳳妮黃世聰Seventeen (組合)维基百科願榮光歸香港中華民國鬼滅之刃 柱訓練篇2024年英雄联盟季中邀请赛中华人民共和国TripleS金秀賢 (男演員)罗伯特·菲佐井柏然2024年世界女排联赛黃偉哲怪獸8號佘詩曼Foodpanda金惠奫新加坡总统香緹·摩爾于北辰 (1968年)王嘉爾笑看風雲排球少年!!角色列表林飛帆郭葦昀馴鹿寶貝翁靜晶猩球崛起:王國誕生ILLIT尼古拉·約基奇春色寄情人周殷廷鬼滅之刃排球少年!!吳釗燮逆天奇案2不夠善良的我們BABYMONSTER李正皓尚达曼BOYNEXTDOOR胡子彤IVE (組合)陳靜 (香港)香港吴作栋黃道十二宮凡希亚·奥伊亚胡宇威長洲太平清醮張員瑛搜查班長1958伍允龍习明泽黄岩岛賴清德偶然遇見的你虽然不是英雄