SYSGO's PikeOS hypervisor has been certified according to Common Criteria EAL 3+. The subject of certification by the German Federal Office for Information Security (BSI) is the separation kernel in PikeOS, which ensures a strict separation of applications running on the same hardware through spatial and temporal partitioning. Such a separation is required above all in security-critical systems and is generally mandatory for the certification of the overall system. The certification by the BSI was carried out for the PikeOS Separation Kernel Version 4.2.2 (build number s5400) for the platforms X86_64, ARMv7 and ARMv8.
PikeOS is thereby currently the only real-time operating system worldwide that holds a Common Criteria certification for its separation performance. In addition, PikeOS is also certified for various safety standards, making it particularly suitable for applications that have both safety and security requirements, particulary in the aerospace, automotive and railway industries as well as in industrial or medical systems. PikeOS also supports the simultaneous operation of applications of different criticality and the combination of real-time applications with less time-critical applications.
"We have designed PikeOS from the ground up for certifiable systems in security-critical environments, thereby enabling our customers to design their systems to the principle of 'Safety & Security by Design' from the outset," said Markus Jastroch, Director of Marketing Communication at SYSGO. "The certification according to the Common Criteria confirms this approach and is a new milestone for both us and the industry as a whole."
For developers of critical systems, certification not only means secure and effective separation of applications, but also a faster and more cost-effective certification of their entire system, as the operating system itself no longer needs to be considered in this process.
"With Common Criteria, the PikeOS separation kernel is now certified to one of the most established and rigorous security standards on which most industry-specific standards are based," says Dr. Dominic Eschweiler, Director Security Certification at SYSGO." Especially in the context of government applications, certification according to Common Criteria is often a mandatory requirement. In addition, having a certified PikeOS enables developers from all industries to have a solid, certified foundation for their systems."
SYSGO has been providing operating systems and services for embedded systems since 1991 and, with ELinOS, is a pioneer in the use of Linux in the embedded market. For security-critical applications, the company has been delivering the PikeOS hypervisor since 2005, the world's first SIL 4 certified multi-core processor operating system, and the foundation for smart devices in the Internet of Things. SYSGO is the leading European manufacturer of operating systems and supports clients such as Samsung, Airbus, Thales, Continental, etc. in the formal certification of software according to international standards for functional security and IT security in markets such as aerospace and defence, industrial automation, automotive, railway and medical technology, and network infrastructure. SYSGO belongs to the European Thales Group, has subsidiaries in Germany, France, the Czech Republic, the UK and the USA, and maintains a world-wide distribution network.
For further information please join our newly founded LinkedIn group Certified RTOS.