Press Releases

Common Criteria

PikeOS Hypervisor certified according to Common Criteria

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."

More information at www.sysgo.com/common-criteria

More information at www.sysgo.com/pikeos

PikeOS RTOS & Hypervisor

PikeOS
RTOS & Hypervisor

Learn more

PikeOS for MPU

PikeOS for MPU

Learn more

ELinOS Embedded Linux

ELinOS
Embedded Linux

Learn more

Need more Information?


Contact us