2014年1月6日 航空航天和国防

VxWorks基于mil的系统从实验室转移到部署

保罗·帕金森

6 a00d83451f5c369e201348785754d970c-pi

在最近的博文中,'在互联网上的安全, Paul Chen讨论了物联网(IoT)安全的重要性,以及风河公司最近是如何发布两个新版本的物联网VxWorks千平台,可用于保护关键基础设施。Paul还提到VxWorks mls平台3.0.0.1可用一个全面的安全证据包值得反思这一重要里程碑的重要性。

多独立安全级别(mls)软件体系结构最初是在许多年前提出的,近年来随着分离内核(SK)的技术和商业实现的发展,mls系统的开发在技术上和商业上都变得可行。

发布全面的安全证据包VxWorks MILS 3.0.0.1提供了支持风河为VxWorks mls分离内核所做的高健壮性声明的相关工件。证据包里有相关的安全的文物“美国要求高鲁棒性环境中分离内核的政府保护概要”版本1.03 (SKPP)和通用标准,包括隐蔽通道分析和渗透测试结果。根据最近修订的安全评估过程,这些工件可以作为系统认证的一部分。

我也希望突出这个包裹还包括这个套餐的事实安全的文物要求RTCA DO-178C (EUROCAE ED-12C)设计保证A级安全认证。这一点尤其重要,因为关键基础设施系统有越来越多的安全性和安全性要求,例如,商用空域飞机上的关键安全性系统。

这些人工制品使Wind River客户能够在部署这些系统之前在其关键基础架构应用中利用VxWorks MIL架构。总之,MLS架构的使用从R&D /早期采用阶段转变为主流使用。

有关Wind River的其他信息,请访问我们脸谱网

以前的Simics Unleashed -虚拟平台的应用
下一个Simics上的开放虚拟化,让复杂的工作变得更容易——Michael Barabanov的采访