PikeOS

可认证的RTOS和虚拟机监视器

我们的全新实时操作系统和虚拟机监视器简化了重要功能安全和信息安全系统的开发和认证。

产品页面

PikeOS for MPU

用于MPU架构的实时分区

SYSGO隆重推出PikeOS for MPU。这是一款实时操作系统,内置专为实现最高功能安全与信息安全而设计的分离内核。

产品页面

ELinOS

嵌入式Linux发行版

SYSGO的工业级Linux发行版ELinOS为开发者提供他们的应用所需要的一切。
它附带一个可用于Linux和Windows主机的交叉工具链。

产品页面

可认证的开发平台

铁路满足功能安全和信息安全要求

SAFe-VX是一个基于PikeOS以及Kontron的成熟COTS(商用现成品)硬件的一站式混合关键应用开发平台。

产品页面

安全汽车连接平台

从天空到街道

SACoP是一个可以安全管理和交换数据的全集成式框架,它解决了网联汽车日益增长所带来的挑战。

产品页面

保障未来连接安全的嵌入式技术

SYSGO是欧洲领先的嵌入式软件解决方案制造商。我们提供各种领先的解决方案,例如我们通过严格安全认证的实时操作系统PikeOS、我们的工业级嵌入式Linux ELinOS等。

自1991年以来,我们深受客户信赖并以创新解决方案和直接了当的技术支持帮助世界各地的嵌入式开发人员构建安全、可靠的应用。

进一步了解SYSGO

SYSGO Headquarters Germany

一切功能和信息安全问题皆迎刃而解

作为欧洲领先的嵌入式操作系统制造商,我们追求创新并为全球客户创造价值。
我们了解复杂的市场动态并且能够预测影响客户业务的趋势。

我们在整个产品生命周期贯彻“通过设计实现功能安全和信息安全”的理念。

Avionics & Defense

航空电子与航天

民用航空和航天工业正在使用PikeOS。它能解决当前嵌入式开发所面对的主要挑战。PikeOS能够减少重量、空间、电缆和能耗并降低认证成本。它可以操控自动驾驶汽车、船只和无人机在全球运行,并且不会对操作人员造成人身伤害和生命危险。而这种自主或远程控制系统也是网络攻击者“虎视眈眈”的目标。因此,信息安全已成为航空电子领域的一个重要课题。PikeOS通过最高级别的DO-178C认证并符合当前的监管安全框架。

了解更多信息

Railway

铁路和交通运输

在列车和铁路信号基础设施中使用COTS硬件作为计算元件和开放式通信网络已成为一种趋势。但使用COTS硬件和开放式网络会带来安全问题,直接影响铁路运输的安全性。鉴于ETCS或ATO等铁路应用的高度重要性,列车和基础设施系统的开发与评估方法受到严格标准的规定。PikeOS是一款经过验证、安全可靠的嵌入式列车和沿线通信嵌入式解决方案,同时也是市面上首个通过EN 50128 SIL 4认证的多核软件解决方案。

了解更多信息

Automotive

汽车

继自动驾驶和车联网之后,功能安全和嵌入式信息安全正在成为软件开发的重点。尽管符合现有ISO标准仍然不是强制性规定,但如今几乎所有厂商都被要求这样做。制造商和原始设备制造商越来越多地使用已经在航空航天工业中得到验证的概念。PikeOS通过了ISO 26262等最严格的安全标准认证,并且是首批量产分离内核虚拟机监视器之一。

了解更多信息

Industrial Automation

工业自动化

工业4.0和工业物联网(IIoT)极大地改变了嵌入式工业应用的设计方式。由于批量大小已被减少到一个,灵活性变得至关重要。虽然功能安全一直是重中之重,但鉴于所有机械都连接在一起并且会有源源不断的数据进入到云端分析,嵌入式信息安全也变得同样重要。

了解更多信息

Consulting, Safety & Security Certification

咨询服务

SYSGO参与过许多认证项目,我们的高级工程师在设计达到最高功能安全和信息安全级别的软件架构方面积累了深厚的经验。他们在规范、需求管理、验证、确认和测试方面同样拥有丰富的经验。

认证服务:功能安全认证、信息安全认证

了解更多信息

Shadow

保护物联网的安全

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还提供一个完全经过认证的编程接口,因此可以实现符合“设计安全”原则的应用开发。

进一步了解PikeOS     进一步了解PikeOS for MPU

ELinOS Embedded Linux

工业级Linux

ELinOS发行版

ELinOS是一款专为嵌入式系统打造并适用于多种平台的Linux发行版。它以开发者为目标用户,具有完整的开发环境和交叉工具链。ELinOS系统一般包含一个占用空间非常小的启动镜像。

它可在运行桌面Linux或Windows的主机上配置和生成。

进一步了解ELinOS

 

专业服务

SYSGO通过ISO 9001和ISO/IEC 27001认证。

我们的工程流程根据SPICE 3级进行了评估,我们的专业服务部门为客户提供培训、咨询和认证服务领域的支持。

联系SYSGO


联系我们