風河系統(tǒng)公司(Wind River)日前宣布推出VxWorks MILS Platform 2.0。這項在業(yè)界領先的VxWorks產(chǎn)品家族中的最新增強,充分展示出風河公司一貫致力于滿足航空與國防工業(yè)高級別安全需求的決心。
VxWorks MILS Platform 2.0為客戶提供了強魯棒性的操作系統(tǒng)基礎和榮獲業(yè)界嘉獎的開發(fā)環(huán)境,可有力地支持航空與國防工業(yè)構(gòu)建多級別安全(MLS)產(chǎn)品。新的平臺包括VxWorks運行時(runtime)環(huán)境,使客戶在開發(fā)guard、downgrader和其他最高安全級別組件時可以繼續(xù)充分利用他們原有的VxWorks技術資源和應用程序代碼,但其運行時環(huán)境卻升級為新的多級別安全系統(tǒng)并且得到了高度的保障。
目前,許多知名公司,包括波音、General Dynamics Advanced Information Systems、Lockheed Martin和Raytheon等公司,都已選擇采用VxWorks MILS Platform 2.0。
風河公司VxWorks產(chǎn)品營銷與戰(zhàn)略副總裁Marc Brown表示:“VxWorks MILS Platform 2.0的極高性能和成熟功能是具有堅實基礎的,因為我們的時間和空間分區(qū)操作系統(tǒng)已經(jīng)擁有7年的客戶經(jīng)驗,在全球超過160個航空電子產(chǎn)品項目中得到了成功應用。以VxWorks MILS為基礎進行產(chǎn)品開發(fā),客戶將感受到諸多實實在在的效益,包括開發(fā)時間的縮短、開發(fā)成本和風險的降低等。此外,將自己的產(chǎn)品建構(gòu)在風河這樣的行業(yè)領導者所提供的綜合性、高安全、高穩(wěn)定的解決方案基礎之上,也將使客戶對其自身最終產(chǎn)品擁有更堅定的信心?!?/p>
VxWorks MILS Platform 2.0主要功能特性包括:
· VxWorks MILS分離內(nèi)核,全面遵循通過NIAP驗證的《U.S. Government Protection Profile for Separation Kernels in Environments Requiring High Robustness, Version 1.03》(SKPP)規(guī)范;
· 采用High Assurance Environment技術,其中包括簡便易用的獨立內(nèi)核接口和內(nèi)部分區(qū)安全通信模塊(SIPC),直接支持分區(qū)中的高安全保障的客戶應用,例如guard和downgrader;
· 分區(qū)中的VxWorks Guest操作系統(tǒng),允許直接導入現(xiàn)有的VxWorks應用;
· 風河完善且遵循業(yè)界規(guī)范的網(wǎng)絡通訊協(xié)議技術,包括IPv4、UDP和TCP等;
· 對目標驅(qū)動和第三方中間件的擴展支持;
· 業(yè)界領先且基于Eclipse技術的開發(fā)工具套件Wind River Workbench。
VxWorks MILS Platform 2.0憑借其與Common Criteria Evaluation Assurance Level (EAL) 6+標準的高度一致性和通過High Robustness(高魯棒性)驗證,被美國國家安全局下屬的國家信息保障合作體(NIAP)官方列為“In Evaluation”級別。按照SKPP規(guī)范中的描述,一個遵循EAL6+標準、通過High Robustness驗證的操作系統(tǒng)必須是“一個面向關鍵任務級別系統(tǒng)服務和應用而設計的高度穩(wěn)定的基礎架構(gòu)”。
VxWorks MILS Platform 2.0 采用Type-1虛擬化技術構(gòu)建而成,該技術源自同期發(fā)布的產(chǎn)品Wind River Hypervisor。Wind River Hypervisor面向多個行業(yè)應用提供了單核和多核處理器的高性能虛擬化功能,在VxWorks MILS系統(tǒng)架構(gòu)中確保了系統(tǒng)性能的最大化(通過使用最少的分區(qū)開銷)和確定性的最大化(通過減少分區(qū)紊亂),同時提升了故障隔離和修復能力(通過隔離訪客操作系統(tǒng)和關聯(lián)應用)。虛擬化管理程序與整個VxWorks MILS獨立內(nèi)核的安全屬性相結(jié)合,形成了足以提供高級別安全性保障的MILS架構(gòu)。
產(chǎn)品上市
風河全新的VxWorks MILS Platform 2.0將于2009年6月26日正式上市。
北京2022年10月18日 /美通社/ -- 10月14日,國際數(shù)據(jù)公司(IDC)發(fā)布《2022Q2中國軟件定義存儲及超融合市場研究報告》,報告顯示:2022年上半年浪潮超融合銷售額同比增長59.4%,近5倍于...
關鍵字: IDC BSP 數(shù)字化 數(shù)據(jù)中心Lua RTOS 是一個實時操作系統(tǒng),設計在嵌入式系統(tǒng)上運行,對 FLASH 和 RAM 內(nèi)存的要求最低。目前 Lua RTOS 可用于 ESP32, ESP8266 和 PIC32MZ 平臺,并可以輕松移植到其他32位...
關鍵字: Lua RTOS 操作系統(tǒng) 嵌入式系統(tǒng)要問機器人公司哪家強,波士頓動力絕對是其中的佼佼者。近來年該公司在機器人研發(fā)方面獲得的一些成果令人印象深刻,比如其開發(fā)的機器人會后空翻,自主爬樓梯等。這不,波士頓動力又發(fā)布了其機器人組團跳男團舞的新視頻,表演的機器人包括...
關鍵字: 機器人 BSP 工業(yè)機器人 現(xiàn)代汽車