当前位置:首页 > 嵌入式 > 嵌入式新闻
[导读]WindRiver多重独立等级安全(MILS)方案

风河系统公司(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设计者实现对应用程序的优化。
本站声明: 本文章由作者或相关机构授权发布,目的在于传递更多信息,并不代表本站赞同其观点,本站亦不保证或承诺内容真实性等。需要转载请联系该专栏作者,如若文章内容侵犯您的权益,请及时联系本站删除。
换一批
延伸阅读

上海2024年4月17日 /美通社/ -- 在2024 F1中国站即将拉开帷幕之际,高端全合成润滑油品牌美孚1号今日举办了品牌50周年庆祝活动。三届F1年度车手总冠军马克斯•维斯塔潘也亲临现场,共同庆祝这一里程...

关键字: BSP 汽车制造 行业标准 产品系列

北京2024年4月17日 /美通社/ -- 2024年4月13日,由北京康盟慈善基金会主办的"县域诊疗,规范同行"——肿瘤诊疗学术巡讲项目首站在广州隆重召开。本次会议邀请全国多位肺癌领域专家和县域同道...

关键字: AI技术 医疗服务 BSP 互联网

海口2024年4月16日 /美通社/ -- 4月14日,在中法建交60周年之际,科学护肤先锋品牌Galenic法国科兰黎受邀入驻第四届中国国际消费品博览会(以下简称"消博会")法国馆。Galenic法...

关键字: NI IC BSP ACTIVE

上海2024年4月17日 /美通社/ -- 每年4月17日是世界血友病日。今年,世界血友病日以"认识出血性疾病,积极预防和治疗"为主题,呼吁关注所有出血性疾病,提升科学认知,提高规范化诊疗水平,让每一位出血性疾病患者享有...

关键字: VII 动力学 软件 BSP

伦敦2024年4月16日 /美通社/ -- ATFX宣布任命Siju Daniel为首席商务官。Siju在金融服务行业拥有丰富的经验和专业知识,曾在全球各地的高管职位上工作了19年以上。Siju之前担任FXCM首席商务官...

关键字: NI AN SI BSP

C语言是一种广泛应用于软件开发领域的编程语言。它是由贝尔实验室的Dennis Ritchie在20世纪70年代初创建的,旨在为UNIX操作系统的开发提供一种高级编程语言。C语言具有简洁、高效、可移植性强等特点,因此成为了...

关键字: C语言 操作系统 应用程序

常州2023年9月25日 /美通社/ -- 9月23日,由江苏省商务厅指导,世界中餐业联合会、常州市人民政府主办的"第三届中华节气菜大会暨首届江南美食节"在江苏常州开幕。文化和旅游部国际交流与合作局一...

关键字: BSP 可持续发展 大赛 质量控制

北京2023年9月25日 /美通社/ -- 9月21日,由中国质量报刊社·中国质量新闻网主办的第六届食品高质量发展交流会在北京举行,会议主题为"高质量,新生活",旨在推动食品行...

关键字: 自动化 BSP ISO9001 NAS

北京2023年9月23日 /美通社/ -- 近日,主线科技正式获准在北京市智能网联汽车政策先行区道路开启常态化测试与示范,将与物流客户在真实开放的城区道路场景中,率先开启基于L4级别自动驾驶能力的智能卡车运输示范。 随...

关键字: 智能卡 测试 高速公路 BSP
关闭
关闭