风河系统公司(Wind River)近日发布其用于航空与国防系统的全新安全解决方案，提供多重独立等级安全的支持。新的VxWorks安全平台为开发者提供全方位的MILS环境，使其能够快速在同一个MMU分区微处理器上同时部署安全和非安全应用程序。
未来的国防系统将更大程度的以网络为中心，安全的通信机制将会更加关键，必须确保近乎实时的信息以单一可解读的形式随时随地得到传达。数据必须穿越来自包括各种政府机构、各类联盟伙伴以及各个安全分类级别的联合作用最终汇集到一个单一设备上。为实现这种整合，系统必须从底层直开始建构，以便根据安全级别来分离数据，并且实施严格的数据访问限制，确保只有得到特定授权得用户才能访问指定的数据。

风河系统公司全新的VxWorks安全平台以针对安全实时操作系统（SRTOS）的MILS概念为基础，定位于信息技术安全评估通用标准的评估担保等级7（EAL7）认证。包括基于分离内核保护档案(Separation Kernel Protection Profile)的安全内核、安全策略数据库、引用监控、安全审核日志、安全启动和安全传输储备（provision）、适用驱动的中间件层、文件系统、网络堆栈以及其他所有通用的MILS组件。凭借VxWorks ARINC653产品系列在业界取得的成功经验，风河公司的VxWorks安全平台通过单一微处理器控制共存的高/低安全等级的应用程序，所使用的时间和空间调度器已经通过多重安全审查。此外，这款VxWorks平台还绑定了一个应用程序配置工具，能够实现新应用程序的插入和分区配置，可避免耗时的整个系统重建和重新测试。VxWorks安全平台还提供了从低级别核心OS接口文库到较高级别的多重API，包括行业标准接口和中间件API，从而帮助MILS设计者实现对应用程序的优化。