
PikeOS 5.0 simplifies development and certification of safety-critical systems
With these innovations, Sysgo hopes to be able to implement its new PikeOS version as a platform for systems with the highest certification levels, such as ASIL-D in the automotive industry, DAL-A in avionics, or SIL-4 for railway applications. The Posix GuestOS has also been revised and PikeOS 5.0 has thus been prepared for use in Autosar-Adaptive projects. The manufacturer plans to make corresponding certification kits available in the course of the year.
The certification of systems and applications is simplified and accelerated by the new qualified configuration tools. These are integrated into the Eclipse-based development environment Codeo and eliminate the need for time-consuming validation of generated binaries afterwards. In addition, any subsets of the configuration can be exported as reusable components, which simplifies team development.
PikeOS 5.0 has also been optimised for multicore 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. In this way, PikeOS 5.0 ensures that the requirements of the CAST-32A paper of the Certification Authorities Software Team (CAST) for the use of multi-core processors in certifiable systems are met.
PikeOS was developed from the ground up to ensure the IT security of embedded applications in addition to functional safety. The hypervisor version 4.2.3 is the only one on the market with EAL 3+ certification according to the Common Criteria, and PikeOS 5.x will also be certified at a higher level. Sysgo thus enables the development of safety and security certifiable systems on a uniform software basis.