全球領先的設備軟件優化(DSO)廠商風河系統公司(Wind River)日前宣布推出VxWorks MILS Platform 2.0。這項在業界領先的VxWorks產品家族中的最新增強，充分展示出風河公司一貫致力于滿足航空與國防工業高級別安全需求的決心。

　　VxWorks MILS Platform 2.0為客戶提供了強魯棒性的操作系統基礎和榮獲業界嘉獎的開發環境，可有力地支持航空與國防工業構建多級別安全(MLS)產品。新的平臺包括VxWorks運行時(runtime)環境，使客戶在開發guard、downgrader和其他最高安全級別組件時可以繼續充分利用他們原有的VxWorks技術資源和應用程序代碼，但其運行時環境卻升級為新的多級別安全系統并且得到了高度的保障。

　　目前，許多知名公司，包括波音、General Dynamics Advanced Information Systems、Lockheed Martin和Raytheon等公司，都已選擇采用VxWorks MILS Platform 2.0。

　　風河公司VxWorks產品營銷與戰略副總裁Marc Brown表示：“VxWorks MILS Platform 2.0的極高性能和成熟功能是具有堅實基礎的，因為我們的時間和空間分區操作系統已經擁有7年的客戶經驗，在全球超過160個航空電子產品項目中得到了成功應用。以VxWorks MILS為基礎進行產品開發，客戶將感受到諸多實實在在的效益，包括開發時間的縮短、開發成本和風險的降低等。此外，將自己的產品建構在風河這樣的行業領導者所提供的綜合性、高安全、高穩定的解決方案基礎之上，也將使客戶對其自身最終產品擁有更堅定的信心。”

　　VxWorks MILS Platform 2.0主要功能特性包括：

　　l VxWorks MILS分離內核，全面遵循通過NIAP驗證的《U.S. Government Protection Profile for Separation Kernels in Environments Requiring High Robustness, Version 1.03》(SKPP)規范;

　　l 采用High Assurance Environment技術，其中包括簡便易用的獨立內核接口和內部分區安全通信模塊(SIPC)，直接支持分區中的高安全保障的客戶應用，例如guard和downgrader;

　　l 分區中的VxWorks Guest操作系統，允許直接導入現有的VxWorks應用;

　　l 風河完善且遵循業界規范的網絡通訊協議技術，包括IPv4、UDP和TCP等;

　　l 對目標驅動和第三方中間件的擴展支持;

　　l 業界領先且基于Eclipse技術的開發工具套件Wind River Workbench。

　　VxWorks MILS Platform 2.0憑借其與Common Criteria Evaluation Assurance Level (EAL) 6+標準的高度一致性和通過High Robustness(高魯棒性)驗證，被美國國家安全局下屬的國家信息保障合作體(NIAP)官方列為“In Evaluation”級別。按照SKPP規范中的描述，一個遵循EAL6+標準、通過High Robustness驗證的操作系統必須是“一個面向關鍵任務級別系統服務和應用而設計的高度穩定的基礎架構”。

　　VxWorks MILS Platform 2.0 采用Type-1虛擬化技術構建而成，該技術源自同期發布的產品Wind River Hypervisor。Wind River Hypervisor面向多個行業應用提供了單核和多核處理器的高性能虛擬化功能，在VxWorks MILS系統架構中確保了系統性能的最大化(通過使用最少的分區開銷)和確定性的最大化(通過減少分區紊亂)，同時提升了故障隔離和修復能力(通過隔離訪客操作系統和關聯應用)。虛擬化管理程序與整個VxWorks MILS獨立內核的安全屬性相結合，形成了足以提供高級別安全性保障的MILS架構。