SYSGO will demonstrate various applications of its real-time operating system PikeOS at embedded world. The operating system, which is the only one with a separation kernel certified to Common Criteria EAL 3+, will be demonstrated in various systems for the avionics, automotive and industrial (IIoT) industries. By strictly separating applications from each other, PikeOS ensures both functional safety and IT security, as well as hosting critical and non-critical applications on the same multicore platform.
The highlight of SYSGO's demonstration is a state-of-the-art avionics application from Thales. This system based on PikeOS includes an ADA-based flight management software for aircraft which, despite its complexity, is DO-178C DAL-B certifiable. The application runs on NXP T2080 SoC with ARINC 653, ADA and PikeOS Native partitions. This embedded FMS communicates with Thales simulation environment through Ethernet links and relies on a Certifiable IP Stack developed by SYSGO.
In the automotive demonstrator, three typical use cases are presented: first the consolidation of multiple domain applications of different levels of criticality running on the same multicore platform, based on Renesas RCAR H3 SoC; secondly, the live detection of cyber-attacks relying on an Intrusion Detection System module; and lastly, individual and independent restart of partitions. In addition, the demonstrator shows GPU and screen sharing by using Renesas SoC’s GPU hardware virtualisation capabilities. Once again, PikeOS separation kernel guarantees that cyber-attacks, or malfunctions in untrusted applications cannot impact safety-critical functions running on the same hardware platform.
In the safety & security area, SYSGO presents a programmable logic controller with a connection to cloud services, in which PikeOS guarantees that an attack originating from the cloud can in no way impair the critical applications of the PLC.
Since both functional safety and cybersecurity must be guaranteed over the entire equipment life cycle, which is usually very long for embedded systems, SYSGO also demonstrates how PikeOS can be used to secure the software update processes. PikeOS thus supports efforts of the automotive industry to offer to its customers the possibility to deploy additional functions and services in the field. PikeOS enables updates of non-critical applications. For instance, entertainment systems, as well as a cloud connector in a PLC can be upgraded during operation, with no effect on other running applications. In addition, the update process is reliably protected against hacker attacks.