Securing the Internet of Things
In 2008, SYSGO’s PikeOS has been selected by Airbus as the DO-178B reference platform for the A350 XWB. Today, 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 4.2.3 (build S5577) is currently the only Separation Kernel worldwide that holds a Common Criteria certification (EAL3+) 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