EEJournal

行业新闻
现在就订阅

SYSGO: PikeOS获得了通用标准(CC)级别EAL5+安全认证

克莱因-温特海姆,德国,2022年11月15日- SYSGO已经对增加的网络安全威胁级别做出了回应:分离内核PikeOS 5.1.3。已获得最广泛接受的安全认证标准通用标准(CC),也称为ISO 15408,在领先的应用处理器架构ARMv8, x86-64和PPC的EAL 5+级别。更高的EAL级别确保了PikeOS是半正式设计的,并针对越来越复杂的漏洞进行了检查。系统架构师和嵌入式软件开发人员从这种高水平的保证中受益,并可能对PikeOS针对破坏和数据窃取的安全措施有很强的确定性。SYSGO实时操作系统和管理程序PikeOS的目标市场可以在任何安全和网络安全关键设备和基础设施中找到,特别是在航空电子、国防、汽车、铁路、医疗、工业或航天领域。

典型应用包括物联网汽车、建筑和农业机械、火车、飞机和任何自主级别的无人机(包括任何自动制导车辆),以及这些设备基础设施内部的连接实时控制。在工业4.0工厂中,EAL 5+认证的PikeOS也用于连接的固定机器(无论是否具有功能安全),以及协作机器人和自主物流车辆。例如,oem部署CC级EAL 5+认证的操作系统,用于外围保护,具有访问控制、数字签名、安全网关和安全通信的可信功能,而且还用于零信任架构。

尽管PikeOS的代码库相对较小,因此攻击面较小,但经过认证的特性集在同类产品中脱颖而出。基于mils(多个独立安全级别)的PikeOS是唯一一个为同一产品和相同代码库提供最高安全认证标准的操作系统。凭借其丰富的安全特性库,客户不仅受益于分区(空间和时间)的分离,而且形成了可控的信息流、访问控制和资源可用性。此外,还支持入侵检测、数据保护和任何其他类型的可信计算。这使得PikeOS成为许多用例的理想选择,如安全网关、安全连接、空中(OTA)软件更新、数据保护或安全路由器。

“PikeOS实时操作系统和管理程序为我们的客户提供了嵌入式操作系统和管理程序技术可实现的最高级别的安全性之一。无论是加强受安全等其他约束的嵌入式系统的深度网络安全,还是利用PikeOS强大的安全属性来处理各种安全级别的数据的网络安全嵌入式设备,PikeOS都是加速安全架构定义和符合各种安全标准的独特选择。SYSGO的首席执行官Etienne Butery说:“SYSGO还提供了一套全面的附加安全功能,如安全引导、可信执行环境、入侵检测系统或安全路由功能。”

SYSGO提供的CC (Common Criteria)级EAL 5+认证套件,有助于缩短基于PikeOS的嵌入式设备的安全认证时间。客户可以在航空电子设备DO-356A/ED-203A(适航安全方法和注意事项)、汽车(ISO/SAE 21434)、铁路(CLC/TS 50701)和国防认证过程中使用这些工件。

更多关于PikeOS的信息,其新的CC EAL 5+认证和整个生态系统,包括集成开发环境CODEO,可以在https://www.sysgo.com/pikeos上找到

关于SYSGO
SYSGO是欧洲领先的嵌入式软件解决方案制造商,如实时操作系统和管理程序PikeOS和嵌入式工业级Linux ELinOS。自1991年以来,SYSGO一直支持航空航天,汽车,铁路和工业物联网行业的客户开发安全关键应用。SYSGO是全球首家凭借其多核实时操作系统和管理程序PikeOS®获得EN50128 SIL4铁路认证的公司。PikeOS®分离内核版本5.1.3符合通用标准EAL 5+,适用于x86 64位、ARMv8或PowerPC。目前的PikeOS 5.1版本根据DO-178C DAL-A认证,最高的航空电子安全级别,并根据最严格的行业安全标准,如IEC 61508, EN 50128, EN 50657和ISO 26262,从而使应用程序开发根据“安全可靠的设计”原则。对于工业嵌入式系统,SYSGO还提供了ELinOS,这是一个为嵌入式系统提供实时扩展的Linux发行版。此外,铁路开发平台(SAFe-VX)和安全汽车连接平台(SACoP)等解决方案可用于汽车内部、汽车之间和汽车之间的安全数据传输。
SYSGO在整个产品生命周期内与空客、泰雷兹、大陆集团等客户密切合作,并根据国际功能和IT安全标准为他们提供正式的软件认证。SYSGO总部位于法兰克福附近的Klein-Winternheim,在法国和捷克共和国设有子公司,并保持全球销售网络。该公司通过了ISO 9001:2015和ISO27001:2017认证,是欧洲泰雷兹集团的一部分。
欲了解更多信息,请访问https://www.sysgo.com/

留下回复

有特色的博客
2023年2月15日
了解人工智能驱动的芯片设计仿真如何在不升级硬件的情况下解决RTL芯片设计传统功能验证工具的挑战。文章《人工智能驱动的优化如何产生更高的模拟性能》首次出现在《从硅到软件》....
2023年2月15日
加入我们下周四的现场网络研讨会,了解更多关于自推进CFD模拟:海上运输是国际贸易和全球经济的支柱。根据2022年联合国贸易和发展会议(UNCTAD)的数据,超过80%的交易量……
2023年1月19日
你是否在调整表带或更换手表电池时遇到了问题?如果是这样,我是好消息的携带者....

特色粉笔谈话亚博里的电子竞技

珀尔帖模块

逮老鼠的电子产品而且崔设备

你需要精确的温度控制吗?您的应用程序是否需要冷却到环境温度以下?如果你的回答是肯定的,一个帕尔蒂埃模块可能是你的最佳解决方案。在本集Chalk Talk中,Amel亚博里的电子竞技ia Dalton与CUI Devices的Rex Hallock聊天,讨论peltier模块的局限性和独特的好处,CUI Devices的arcTEC™结构如何在peltier模块的热应力和疲劳方面产生很大的不同,以及如何开始在您的下一个设计中使用peltier模块。

点击这里了解更多关于CUI Devices arcTEC结构高性能Peltier模块的信息

Baidu