• PikeOS 3.1 (1 MB)
  

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

• Safe and Secure Virtualization in a Separation Microkernel
• Better Avionics Software Reliability by Code Verification
• Bringing together real-time and Virtualization
• Combining Partitioning and Virtualization for Safety-Critical Systems
• Safe and Cooperative Coexistence of a SoftPLC and Linux 

• Rockwell Collins: See how SYSGO supports Aerospace & Defense customers developing DO-178B certified IMA systems
• Gantner Instruments: See how SYSGO supports Industrial Automation & Medical customers combining hard real-time and Linux

The native design of the unique PikeOS separation microkernel specifically addresses the requirements of safe and secure systems. All drivers, stacks, hard real-time applications and hosted OSs or RTEs reside in separate address spaces with pre-defined I/O access controlled by PikeOS. The paravirtualization capability of PikeOS enables the combination of applications with different safety and security certification levels on one platform.

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. PikeOS is the commercial implementation of a very innovative concept: the Safe and Secure Virtualization (SSV) technology.

The strict time and resource partitioning of the PikeOS microkernel prevents application failures from propagating to any other place in the system. PikeOS is designed according to the requirements of the DO-178B, IEC 61508, and EN 50128 specifications.

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. Hard real-time requirements for critical applications are met while still providing best effort scheduling for non-critical tasks. PikeOS offers high resolution timers. Scheduling schemes can be changed on the fly.

PikeOS provides a built-in Health Monitoring Function which implements all features described in the ARINC-653 standard. Failures such as address violations, timing violations, illegal instruction are intercepted by the OS and handled as specified in the system configuration. This adds another layer of determinism without additional application code.