SYSGO’s PikeOS has been selected by Airbus as the DO-178B reference platform for the A350 XWB. PikeOS is the world's first SIL 4 certified real-time operating system with multi-core support. Our PikeOS Hypervisor (Type 1), running directly on the hardware, is certified according to strictest Safety standards such as IEC 61508, EN 50128 and ISO 26262. In terms of Security, the PikeOS Separation Kernel Version 5.1.3 is currently the only Separation Kernel worldwide that holds a Common Criteria certification (EAL5+) for its separation performance.
In addition, PikeOS offers a fully-certified programming interface and thus enables application development according to the "Safe & Secure by Design" principle.
More about PikeOS | PikeOS for MPU