
SYSGO is the leading European manufacturer of embedded software solutions such as the real-time operating system and hypervisor PikeOS and the embedded industrial-grade Linux ELinOS. Since 1991, SYSGO has been supporting customers in the Aerospace, Automotive, Railway and IIoT industries in the development of Safety-critical applications. SYSGO was the first company worldwide to achieve the Safety requirement level SIL 4 for its multi-core capable real-time operating system and hypervisor PikeOS.
PikeOS version 5.1.3 meets the Common Criteria at the level EAL 5+ for ARMv8, x86_64, and PPC and is also certified according to the strictest Safety standards such as IEC 61508, EN 50128, EN 50657, and ISO 26262, and has also been certified many times at the highest level according to DO-178C and ECSS-E-ST-40C, enabling application development in line with the "Safe & Secure by Design" principle. For industrial embedded systems, SYSGO also offers ELinOS, a Linux distribution with real-time extensions for embedded systems.
SYSGO works closely with its customers throughout the entire product life cycle and supports them in the formal certification of software according to international standards for functional and IT Security. SYSGO is headquartered in Klein-Winternheim near Frankfurt, has subsidiaries in France and the Czech Republic and maintains a worldwide sales network. The company is ISO 9001:2015 and IEC/ISO 27001:2017 certified and part of the European Thales Group.
You can download a free ELinOS Test Version at www.sysgo.com/get-elinos

Supported Guest OSs, RTEs & APIs
On top of PikeOS you can have different partitions which can host entire (guest) operating systems allowing each partition to operate independently from the others and with mixed criticality.
PikeOS supports various guest OSs, RTEs (Runtime Environments) and APIs (Application Programming Interface), such as Linux, Android, ELinOS, Windows, POSIX, Ada, ARINC 653, PikeOS Native, and many more...
More resources with Sysgo
Webinar: Verifying your multicore RTOS
White paper: Developing DO-178C and ED-12C-certifiable multicore software