PikeOS 5.0 simplifies development and certification of safety-critical systems

February 26, 2020 //By Christoph Hammerschmidt
PikeOS 50 simplifies development and certification of safety-critical systems
Software manufacturer Sysgo presented the latest version of its real-time operating system PikeOS 5.0 for safety-critical systems at Embedded World. The most important new features include extended certification according to 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 increased to 255.

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.

www.sysgo.com


Vous êtes certain ?

Si vous désactivez les cookies, vous ne pouvez plus naviguer sur le site.

Vous allez être rediriger vers Google.