PikeOS incorporates the latest paravirtualization technology, making PikeOS a unique combination of real-time operating system and virtualization environment. PikeOS directly solves issues like hardware convergence, legacy software migration, IP protection and how to use Linux in secure and safety-critical environments.

The strict time and resource partitioning of the PikeOS microkernel prevents application failures from propagating to any other place in the system.
PikeOS is completely developed according to the development process requirements of the DO-178B and IEC 61508 specifications. EN 50128 compliant certification artifacts can be easily derived from DO-178B certification artifacts.

In addition to the PikeOS multi-layer security architecture and complete I/O access control PikeOS can incorporate communication encryption and binary verification.
The PikeOS separation microkernel architecture is fully compliant with the MILS separation kernel architecture. A formal verification of the kernel to the highest level of CC’s EAL is in progress.

PikeOS incorporates a new scheduler combining time and priority driven scheduling. Scheduling schemes can be changed on the fly. A ticker-less timing support is provided as an option.

PikeOS provides a build-in Health Monitoring Features which implements all features described in the ARINC-653 standard. Failures like address- and timing violations, illegal instruction a.s.o. will be intercepted by the OS and handled as specified in the system configuration. This adds another layer of determinism without additional application code.

• Datasheet PikeOS (463.64 kb)

• AFDX
• Embedded Linux
• Microkernel
• Paravirtualization
• POSIX
• Real-time
• Real-time Java

• Combining Partitioning and Virtualization for Safety-Critical Systems
• Safe and Cooperative Coexistence of a SoftPLC and Linux
• Scheduling Virtual Machines in Real-time Embedded Systems
• The PikeOS Concept – History and Design

• Rockwell Collins  – 

  See how SYSGO supports Aerospace & Defense customers developing DO-178B certified IMA systems.