German-based embedded systems maker, SYSGO, has introduced version 5.0 of its real-time operating system PikeOS for safety and security-critical systems. New features include expanded certification against all current safety and security standards, improved tools to accelerate development and improve user friendliness, and optimised 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.
PikeOS 5.0 has also been optimised 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.