PikeOS
PikeOS for MPU
ELinOS
可认证的开发平台
安全汽车连接平台
航空电子与航天
民用航空和航天工业正在使用PikeOS。它能解决当前嵌入式开发所面对的主要挑战。PikeOS能够减少重量、空间、电缆和能耗并降低认证成本。它可以操控自动驾驶汽车、船只和无人机在全球运行，并且不会对操作人员造成人身伤害和生命危险。而这种自主或远程控制系统也是网络攻击者“虎视眈眈”的目标。因此，信息安全已成为航空电子领域的一个重要课题。PikeOS通过最高级别的DO-178C认证并符合当前的监管安全框架。
铁路和交通运输
在列车和铁路信号基础设施中使用COTS硬件作为计算元件和开放式通信网络已成为一种趋势。但使用COTS硬件和开放式网络会带来安全问题，直接影响铁路运输的安全性。鉴于ETCS或ATO等铁路应用的高度重要性，列车和基础设施系统的开发与评估方法受到严格标准的规定。PikeOS是一款经过验证、安全可靠的嵌入式列车和沿线通信嵌入式解决方案，同时也是市面上首个通过EN 50128 SIL 4认证的多核软件解决方案。
汽车
继自动驾驶和车联网之后，功能安全和嵌入式信息安全正在成为软件开发的重点。尽管符合现有ISO标准仍然不是强制性规定，但如今几乎所有厂商都被要求这样做。制造商和原始设备制造商越来越多地使用已经在航空航天工业中得到验证的概念。PikeOS通过了ISO 26262等最严格的安全标准认证，并且是首批量产分离内核虚拟机监视器之一。
工业自动化
工业4.0和工业物联网（IIoT）极大地改变了嵌入式工业应用的设计方式。由于批量大小已被减少到一个，灵活性变得至关重要。虽然功能安全一直是重中之重，但鉴于所有机械都连接在一起并且会有源源不断的数据进入到云端分析，嵌入式信息安全也变得同样重要。
咨询服务
SYSGO参与过许多认证项目，我们的高级工程师在设计达到最高功能安全和信息安全级别的软件架构方面积累了深厚的经验。他们在规范、需求管理、验证、确认和测试方面同样拥有丰富的经验。
认证服务：功能安全认证、信息安全认证
保护物联网的安全
PikeOS - RTOS和虚拟机监视器
2008年，空客公司选择SYSGO的PikeOS作为A350 XWB的DO-178B参考平台。目前，PikeOS是全球第一个通过SIL-4认证的多核实时操作系统。我们的PikeOS虚拟机监视器（1类）可直接在硬件上运行，并通过了IEC 61508、EN 50128、ISO 26262等最严格的安全标准。在信息安全方面，PikeOS Separation Kernel 5.1.5版是目前全球唯一获得分离性能通用标准认证（EAL5+）的分离内核。
此外，PikeOS还提供一个完全经过认证的编程接口，因此可以实现符合“设计安全”原则的应用开发。
工业级Linux
ELinOS发行版
ELinOS是一款专为嵌入式系统打造并适用于多种平台的Linux发行版。它以开发者为目标用户，具有完整的开发环境和交叉工具链。ELinOS系统一般包含一个占用空间非常小的启动镜像。
它可在运行桌面Linux或Windows的主机上配置和生成。
