最高级别的EAL认证确保PikeOS经过半正式的设计和测试，能够抵御日益复杂的漏洞。系统架构师和嵌入式软件开发人员受益于这种高级别的保障，并对PikeOS的安全措施充满信心，有效防止破坏和数据窃取。SYSGO的PikeOS实时操作系统和虚拟机管理程序的目标市场涵盖所有对安全性和网络安全要求极高的设备和基础设施，尤其是在航空电子、国防、汽车、铁路、医疗、工业和航天领域。
典型应用包括物联网互联汽车、建筑和农业机械、火车、飞机以及各种自主级别的无人机（包括任何自动导引车），以及这些设备基础设施中的实时互联控制系统。在工业4.0工厂中，获得EAL 5+认证的PikeOS也用于联网的固定式机器（无论是否具备功能安全功能），以及协作机器人和自主物流车辆。例如，原始设备制造商 (OEM) 部署了 CC 级 EAL 5+ 认证的操作系统，用于提供可信的访问控制、数字签名、安全网关和安全通信等边界防护功能，以及零信任架构。
尽管 PikeOS 的代码库相对较小，因此攻击面也较小，但其丰富的认证功能使其在同类产品中脱颖而出。基于 MILS（多级独立安全）架构，PikeOS 是唯一一款针对同一产品和代码库同时提供最高安全性和网络安全认证标准的操作系统。凭借其强大的安全功能集，客户不仅可以受益于空间和时间分区，还可以受益于受控的信息流、访问控制和资源可用性。此外，PikeOS 还支持入侵检测、数据保护和其他可信计算功能。这使得 PikeOS 成为众多应用场景的理想基础，例如安全网关、安全连接、空中下载 (OTA) 软件更新、数据保护和安全路由器。
“PikeOS 实时操作系统和虚拟机管理程序为我们的客户提供了嵌入式操作系统和虚拟机管理程序技术领域最高级别的安全性之一。无论是为了加强受其他约束的嵌入式系统的网络安全，还是为了利用 PikeOS 强大的安全特性来保护处理多级安全数据的网络安全嵌入式设备，PikeOS 都是加速安全架构定义和符合各种安全标准的理想选择。SYSGO首席执行官 Etienne Butery 表示：“为了构建网络安全执行平台，SYSGO 还提供了一套全面的附加安全功能，例如安全启动、可信执行环境、入侵检测系统和安全路由功能。”
SYSGO 提供的通用准则 (CC) EAL 5+ 级认证工具包有助于缩短基于 PikeOS 的嵌入式设备的安全认证时间。客户可将这些资料用于其在航空电子设备 DO-356A/ED-203A（适航安全方法和考虑因素）、汽车（ISO/SAE 21434）、铁路（CLC/TS 50701）和国防领域的认证流程。
