首页 > 嵌入式软件 > vxworks

设备软件优化(DSO)提供商风河系统公司(Wind River)日前宣布,Wind River VxWorks MILS 2进入通用评估准则第6级(Common Criteria-ISO/IEC 15408 EAL 6+/NSA)高可靠性认证评估阶段。

本文引用地址: http://embed.21ic.com/software/vxworks/201709/48382.html

当前,国防军工、网络通信、工业制造和其他许多相关行业的制造商都对系统运行的功能和安全性提出了越来越高的需求,它们希望系统能够得到更高级别的安全可靠性保障,确保自己的产品免于受到各种恶意入侵或人为失误造成的安全性和可靠性威胁。同时,这些产品也对全面衡量空间占用、功耗和性能等因素的综合指标提出了更高的要求。为满足越来越复杂而严苛的要求,业界逐渐形成了一种全新的系统架构——多重独立安全等级,即MILS(Multiple Independent Levels Of Security)。MILS架构可将单个处理器“分割”成独立的“区域”来运行不同的软件,通过在资源分配、信息流和故障等方面的完全隔离,使系统能够严格地遵循由开发人员或系统集成商严格定义的各种安全规则。

以在全球关键性应用领域最受肯定的分区操作系统——VxWorks 653为技术基础,风河公司推出了全新的MILS系统架构操作系统VxWorks MILS 2,这其中VxWorks 653以令人信服的卓著表现包括成为了波音787 Dreamliner客机通用核心系统的架构基础、空中客车A330多用途加油/运输机的空中加油控制系统和其他100多个大型产品项目的核心基础操作系统。获得EAL6+/NSA高可靠性认证后,风河公司在国防领域的客户将能够利用VxWorks MILS 2来构建具备“多重安全级别”的系统,从而有能力在3个以上的安全域中同时处理数据,而且支持这些系统利用最高的安全层级来实现信息在不同安全级别之间的升级、降级,也可对来自不同合作伙伴的信息进行组合应用。

为了准备这次通用评估准则第6级的认证,风河与许多在软件信息安全保障领域处于领先地位的专业机构开展了大量的合作,例如:选择CygnaCom Solutions作为通用标准测试实验室;邀请Idaho大学参与EAL6+形式化方法(formal methods)研究。CygnaCom Solutions曾经完成了美国首个通用标准认证评估,同时它也是2004年风河完成EAL7安全认证评估的重要合作伙伴。Idaho大学是1999年美国国家安全局最初指定的7大信息安全专业中心之一,并且长期在软件安全规范方法研究开发领域占据领导地位。

与其他同类竞争产品相比,VxWorks MILS 2主要包含了三项独特的技术,可以有效地在整个产品生命周期内降低产品制造商的成本和风险:

·具有2个级别的调度主架构,获得了更佳的系统性能,降低了产品成本(基于VxWorks MILS 2的系统仅用更少的处理器资源即可实现相同的功能)

·不仅在程序执行阶段,而且可以在跨越整个产品生命周期内获得独立创建、链接、加载和配置能力,从而可以达到彻底的应用隔离。这种独创的能力加快了开发进程,延缓了软件的退化速度。

·模块化的XML配置数据和安全策略,可帮助客户加速认证和再认证过程,减少因变化而产生的成本。

风河公司副总裁兼航空与国防行业产品总经理Rob Hoffman表示:“风河公司对航空与国防产品项目研发进行了大量投入,我们希望VxWorks MILS 2能够被业界广泛接受和采用,为客户构建全新的多重安全级别系统。目前,面向高安全级别的操作系统在通过评估认证时总是耗费大量的时间和成本,而风河此次消息发布表明:我们可以确保VxWorks MILS 2将使我们客户的多安全级别系统顺利通过相应的安全认证和授权鉴定。”

Idaho大学安全系统研究中心主任James Alves-Foss博士介绍说:“Idaho大学已经与风河和美国安全局(NSA)共同开发了一套针对VxWorks MILS 2的设计和代码编写指导规范。遵循这套指导规范,产品制造商就能够快速地将评估规范方法应用于VxWorks MILS 2,无需再面对代码不能直接面向规范评估过程所带来的问题。”

产品获取

有MILS安全级别需求的客户可直接联系风河公司,预约VxWorks MILS 2的获取试用,VxWorks MILS 2的认证评估的时间进度表将根据客户具体的“评估目标(Targets of Evaluation)”而确定。

换一批

延伸阅读

[猎聘集] 面试过900+工程师的HR自述,手把手教你看破面试中的套路

面试过900+工程师的HR自述,手把手教你看破面试中的套路

技术面试常常有很多坑,不管是对面试官还是面试者来说,都是如此。这篇文章可以让技术面试官规避很多面试过程中可能出现的问题,也可以给即将参与技术面试的面试者一定的启发。......

关键字:技术面试

[真心话] 一位放弃上大学,毅然决然走上IT人生路的工程师自述

一位放弃上大学,毅然决然走上IT人生路的工程师自述

来自一位对高考结果不满意,选择放弃上大学,自学走上IT工程师道路的新人自述。......

关键字:IT工程师 编程 自学

[猎聘集] 招不到电子工程师,这锅谁来背?

招不到电子工程师,这锅谁来背?

无独有偶,前一阵,一位某公司招聘负责人表示:“现在硬件工程师很稀罕啊,招了很久都没招到。”话题引发了不少同行的共鸣。......

关键字:电子工程师 硬件工程师

[猎聘集] 一个正在找工作的“电子”老鸟的困惑

一个正在找工作的“电子”老鸟的困惑

此次发文,主要是和各位电工尤其是过来人探讨下电子工程师们的职场发展。曾几何时,我们以搞定各种电子小产品的故障为傲,以为会画电路懂点程序就可以行走天下。然而,现实给了我们无情的一击。......

关键字:电子工程师

[真心话] IT开发的岔路口:究竟是JAVA好还是嵌入式好?

IT开发的岔路口:究竟是JAVA好还是嵌入式好?

一份工作在一个人的生活中占据重要地位,对于一个人的生活质量占据决定性作用,可以说工作决定一个人一生,对于选择工作当然是要选择新兴产业且有发展前途的行业......

关键字:嵌入式 JAVA

[趣科技] 还有这种操作!澳大利亚科学家发现烟头新用法

还有这种操作!澳大利亚科学家发现烟头新用法

现在澳大利亚皇家墨尔本理工大学( RMIT )的教授 Dr Abbas Mohajerani 团队已经找到了一种安全处理烟头的新方法,他们希望把这些烟头用在铺设道路的材料上。......

关键字:澳大利亚 科学家 烟头 新用法
条评论

我 要 评 论

网友评论

大家都爱看

  • 扇出型晶圆级封装的优势和挑战!

    我们有能力创造一些能保持前代性能并且更好更小的电子设备,例如今天的可穿戴设备、智能手机或平板电脑,这是由于很多因素超过摩尔定律而快速发展,从而能够从底层的嵌入组件发展到今天把它们封…

    2018-03-29
  • Xilinx推出革命性的新型自适应计算产品

    自适应和智能计算的全球领先企业赛灵思公司(Xilinx, Inc.,(NASDAQ:XLNX)),近日宣布推出一款超越FPGA功能的突破性新型产品,名为ACAP(Adaptive Compute Acceleration Platform,自适应计算加速…

    2018-03-20
  • 赛普拉斯为树莓派3 B+ IoT单板计算机提供强大稳定的无

    先进嵌入式系统解决方案的领导者赛普拉斯(纳斯达克代码:CY)近日宣布其Wi-Fi®和蓝牙®combo解决方案为全新的树莓派 3 B+(Raspberry Pi 3Model B+)IoT单板计算机提供强大稳定的无线连接…

    2018-03-20
  • 观看直播领红包,SEED-A10加速卡助力人工智能

    随着云服务器、云计算的发展,大家对硬件加速的需求越来越多,但是随着设备功耗的上升、性能需求越来越高,常规加速设备以及开始不能满足需求,因此FPGA逐渐在硬件加速中找到了自己的位置,而艾…

    2018-03-19
  • 特朗普:博通不得以任何形式收购高通

    白宫周一(3月12日)晚发出声明,川普(特朗普)总统出于“国家安全”考量、禁止新加坡博通公司(Broadcom)收购美国高通公司(Qualcomm)。

    2018-03-14