当前位置:首页 > 嵌入式 > 嵌入式软件
[导读]VxWorks MILS Platform 2.0(风河)

风河系统公司(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主要功能特性包括:
· VxWorks MILS分离内核,全面遵循通过NIAP验证的《U.S. Government Protection Profile for Separation Kernels in Environments Requiring High Robustness, Version 1.03》(SKPP)规范;
· 采用High Assurance Environment技术,其中包括简便易用的独立内核接口和内部分区安全通信模块(SIPC),直接支持分区中的高安全保障的客户应用,例如guard和downgrader;
· 分区中的VxWorks Guest操作系统,允许直接导入现有的VxWorks应用;
· 风河完善且遵循业界规范的网络通讯协议技术,包括IPv4、UDP和TCP等;
· 对目标驱动和第三方中间件的扩展支持;
· 业界领先且基于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架构。

产品上市
风河全新的VxWorks MILS Platform 2.0将于2009年6月26日正式上市。

本站声明: 本文章由作者或相关机构授权发布,目的在于传递更多信息,并不代表本站赞同其观点,本站亦不保证或承诺内容真实性等。需要转载请联系该专栏作者,如若文章内容侵犯您的权益,请及时联系本站删除。
换一批
延伸阅读

成都2022年10月19日 /美通社/ -- 近期,平安养老险积极筹备个人养老金的产品设计和系统开发工作,发展多样化的养老金融产品,推动商业养老保险、个人养老金、专属商业养老保险等产品供给。 搭养老政策东风 ...

关键字: 温度 BSP 东风 大众

广东佛山2022年10月19日 /美通社/ -- 空间是人居生活的基础单元,承载着生存与活动的最基本功能。而对于理想空间的解构意义却在物理性容器之外,体现出人们对于空间和生活深层关系的思考,同时也塑造着人与空间的新型连接...

关键字: 温度 BSP 智能化 进程

上海2022年10月19日 /美通社/ -- 10月17日晚间,安集科技披露业绩预告。今年前三季度,公司预计实现营业收入7.54亿元至8.33亿元,同比增长60.24%至77.03%;归母净利润预计为1.73亿...

关键字: 电子 安集科技 BSP EPS

北京2022年10月19日 /美通社/ -- 10月18日,北京市经济和信息化局发布2022年度第一批北京市市级企业技术中心创建名单的通知,诺诚健华正式获得"北京市企业技术中心"认定。 北京市企业技...

关键字: BSP ARMA COM 代码

北京2022年10月18日 /美通社/ -- 10月14日,国际数据公司(IDC)发布《2022Q2中国软件定义存储及超融合市场研究报告》,报告显示:2022年上半年浪潮超融合销售额同比增长59.4%,近5倍于...

关键字: IDC BSP 数字化 数据中心

上海2022年10月18日 /美通社/ -- 2022年9月5日,是首都银行集团成立60周年的纪念日。趁着首都银行集团成立60周年与首都银行(中国)在华深耕经营12年的“大日子”,围绕作为外资金融机构对在华战略的构想和业...

关键字: 数字化 BSP 供应链 控制

东京2022年10月18日  /美通社/ -- NIPPON EXPRESS HOLDINGS株式会社(NIPPON EXPRESS HOLDINGS, INC.)旗下集团公司上海通运国际物流有限公司(Nipp...

关键字: 温控 精密仪器 半导体制造 BSP

广州2022年10月18日 /美通社/ -- 10月15日,第 132 届中国进出口商品交易会("广交会")于"云端"开幕。本届广交会上高新技术企业云集,展出的智能产品超过140,...

关键字: 中国智造 BSP 手机 CAN

Lua RTOS 是一个实时操作系统,设计在嵌入式系统上运行,对 FLASH 和 RAM 内存的要求最低。目前 Lua RTOS 可用于 ESP32, ESP8266 和 PIC32MZ 平台,并可以轻松移植到其他32位...

关键字: Lua RTOS 操作系统 嵌入式系统

要问机器人公司哪家强,波士顿动力绝对是其中的佼佼者。近来年该公司在机器人研发方面获得的一些成果令人印象深刻,比如其开发的机器人会后空翻,自主爬楼梯等。这不,波士顿动力又发布了其机器人组团跳男团舞的新视频,表演的机器人包括...

关键字: 机器人 BSP 工业机器人 现代汽车

嵌入式软件

15715 篇文章

关注

发布文章

编辑精选

技术子站

关闭