風(fēng)河系統(tǒng)公司（Wind River）日前宣布推出VxWorks MILS Platform 2.0。這項(xiàng)在業(yè)界領(lǐng)先的VxWorks產(chǎn)品家族中的最新增強(qiáng)，充分展示出風(fēng)河公司一貫致力于滿足航空與國(guó)防工業(yè)高級(jí)別安全需求的決心。

VxWorks MILS Platform 2.0為客戶提供了強(qiáng)魯棒性的操作系統(tǒng)基礎(chǔ)和榮獲業(yè)界嘉獎(jiǎng)的開(kāi)發(fā)環(huán)境，可有力地支持航空與國(guó)防工業(yè)構(gòu)建多級(jí)別安全（MLS）產(chǎn)品。新的平臺(tái)包括VxWorks運(yùn)行時(shí)（runtime）環(huán)境，使客戶在開(kāi)發(fā)guard、downgrader和其他最高安全級(jí)別組件時(shí)可以繼續(xù)充分利用他們?cè)械腣xWorks技術(shù)資源和應(yīng)用程序代碼，但其運(yùn)行時(shí)環(huán)境卻升級(jí)為新的多級(jí)別安全系統(tǒng)并且得到了高度的保障。

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

風(fēng)河公司VxWorks產(chǎn)品營(yíng)銷與戰(zhàn)略副總裁Marc Brown表示：“VxWorks MILS Platform 2.0的極高性能和成熟功能是具有堅(jiān)實(shí)基礎(chǔ)的，因?yàn)槲覀兊臅r(shí)間和空間分區(qū)操作系統(tǒng)已經(jīng)擁有7年的客戶經(jīng)驗(yàn)，在全球超過(guò)160個(gè)航空電子產(chǎn)品項(xiàng)目中得到了成功應(yīng)用。以VxWorks MILS為基礎(chǔ)進(jìn)行產(chǎn)品開(kāi)發(fā)，客戶將感受到諸多實(shí)實(shí)在在的效益，包括開(kāi)發(fā)時(shí)間的縮短、開(kāi)發(fā)成本和風(fēng)險(xiǎn)的降低等。此外，將自己的產(chǎn)品建構(gòu)在風(fēng)河這樣的行業(yè)領(lǐng)導(dǎo)者所提供的綜合性、高安全、高穩(wěn)定的解決方案基礎(chǔ)之上，也將使客戶對(duì)其自身最終產(chǎn)品擁有更堅(jiān)定的信心。”

VxWorks MILS Platform 2.0主要功能特性包括：
· VxWorks MILS分離內(nèi)核，全面遵循通過(guò)NIAP驗(yàn)證的《U.S. Government Protection Profile for Separation Kernels in Environments Requiring High Robustness, Version 1.03》（SKPP）規(guī)范；
· 采用High Assurance Environment技術(shù)，其中包括簡(jiǎn)便易用的獨(dú)立內(nèi)核接口和內(nèi)部分區(qū)安全通信模塊（SIPC），直接支持分區(qū)中的高安全保障的客戶應(yīng)用，例如guard和downgrader；
· 分區(qū)中的VxWorks Guest操作系統(tǒng)，允許直接導(dǎo)入現(xiàn)有的VxWorks應(yīng)用；
· 風(fēng)河完善且遵循業(yè)界規(guī)范的網(wǎng)絡(luò)通訊協(xié)議技術(shù)，包括IPv4、UDP和TCP等；
· 對(duì)目標(biāo)驅(qū)動(dòng)和第三方中間件的擴(kuò)展支持；
· 業(yè)界領(lǐng)先且基于Eclipse技術(shù)的開(kāi)發(fā)工具套件Wind River Workbench。

VxWorks MILS Platform 2.0憑借其與Common Criteria Evaluation Assurance Level (EAL) 6+標(biāo)準(zhǔn)的高度一致性和通過(guò)High Robustness（高魯棒性）驗(yàn)證，被美國(guó)國(guó)家安全局下屬的國(guó)家信息保障合作體（NIAP）官方列為“In Evaluation”級(jí)別。按照SKPP規(guī)范中的描述，一個(gè)遵循EAL6+標(biāo)準(zhǔn)、通過(guò)High Robustness驗(yàn)證的操作系統(tǒng)必須是“一個(gè)面向關(guān)鍵任務(wù)級(jí)別系統(tǒng)服務(wù)和應(yīng)用而設(shè)計(jì)的高度穩(wěn)定的基礎(chǔ)架構(gòu)”。

VxWorks MILS Platform 2.0 采用Type-1虛擬化技術(shù)構(gòu)建而成，該技術(shù)源自同期發(fā)布的產(chǎn)品Wind River Hypervisor。Wind River Hypervisor面向多個(gè)行業(yè)應(yīng)用提供了單核和多核處理器的高性能虛擬化功能，在VxWorks MILS系統(tǒng)架構(gòu)中確保了系統(tǒng)性能的最大化（通過(guò)使用最少的分區(qū)開(kāi)銷）和確定性的最大化（通過(guò)減少分區(qū)紊亂），同時(shí)提升了故障隔離和修復(fù)能力（通過(guò)隔離訪客操作系統(tǒng)和關(guān)聯(lián)應(yīng)用）。虛擬化管理程序與整個(gè)VxWorks MILS獨(dú)立內(nèi)核的安全屬性相結(jié)合，形成了足以提供高級(jí)別安全性保障的MILS架構(gòu)。

產(chǎn)品上市
風(fēng)河全新的VxWorks MILS Platform 2.0將于2009年6月26日正式上市。