PikeOS 5.0 simplifies Development and Certification of Safety and Security-critical Systems

At the embedded world 2020 we presented the latest version 5.0 of our real-time operating system PikeOS. New key features include expanded certification against all current safety and security standards, improved tools to accelerate development and improve user friendliness, and optimized support for multi-core systems. In addition, the number of partitions supported by the integrated hypervisor or separation kernel has been significantly increased. Partitions are used by PikeOS to strictly separate multiple guest operating systems and applications, often of different criticality, while still allowing communication through explicitly configured channels.

With these innovations, PikeOS 5.0 represents a platform on which systems for the highest certification levels such as DAL-A in avionics, SIL-4 for railway applications or ASIL-D in the automotive industry can be implemented. The POSIX Guest-OS has also been revised, preparing PikeOS 5.0 for use in AUTOSAR adaptive projects.

The certification of systems and applications will be simplified and accelerated by the new qualified configuration tools. They are integrated into the Eclipse-based development environment CODEO and eliminate the need for time-consuming validation of generated binaries. In addition, any subset of the configuration can be exported as a reusable component, simplifying team development.

Last but not least, the migration from PikeOS 4.2 to 5.0 has been simplified by wizards in CODEO, tutorials and documentation.

Multi-core support
PikeOS 5.0 has also been optimized for multi-core support, especially with regard to certifiable systems. For example, the new version guarantees a significant reduction in interference between applications running on different processor cores through very granular kernel locking mechanisms. This way, PikeOS 5.0 ensures that the requirements of the CAST-32A paper, which has been drafted by the Certification Authorities Software Team (CAST), are met for the use of multi-core processors in certifiable systems.

Safety and security
PikeOS was developed from the ground up to ensure the IT security of embedded applications in addition to functional safety. The hypervisor of the 4.2.3 release is the only one on the market with EAL 3+ certification according to Common Criteria, and PikeOS 5.x will also be certified at a higher level. SYSGO thus enables the use of the same software for safety and security certifiable systems.

LINK: https://www.sysgo.com/the-5-page