PikeOS

PikeOS is a real-time operating system for safety critical applications. It is based on a microkernel and is mainly used for embedded systems. PikeOS is independent of each other ready partitions. In these programs with different tasks, security requirements and time requirements to run without affecting each other.

PikeOS ensures that all available resources, such as memory, are clearly divided among the partitions. Partitions have access to only the resources allocated to them. About configurable, secure communication channels partitions exchange data or share resources - if this is desired. Functions with high demands on the operational safety can be combined with non-critical applications, for example based on Linux, on a system.

In the partitions simple programs, run-time environments or all guest operating systems to run. PikeOS uses to paravirtualization. Therefore, guest operating systems such as Linux must be adapted to the interfaces of PikeOS. Application programs can remain unchanged.

The time behavior of the overall system can be extensively configured. It is possible to meet real-time constraints for time-critical programs and execute concurrently non-critical programs. The scheduler PikeOS is patented.

Due to the modular architecture of strict partitioning, and the very small Trusted Computing Base is PikeOS suitable for safety-critical applications. Well-known examples are the use of integrated modular avionics modules of the Airbus A350 and the Airbus A400M Loadmaster Workstation.

Certification and safety standards

PikeOS is certified to the following standards:

  • IEC 61508
  • DO- 178B
  • EN 50128
  • EN 50129

PikeOS is certified as the only operating system for SMP operation on multicore systems according to SIL 4.

Other planned certifications:

Programming interfaces and runtime environments

For PikeOS following runtime environments, programming interfaces and guest operating systems are available

  • PikeOS JNI
  • ARINC 653 APEX
  • POSIX PSE51 and PSE52
  • Linux
  • Android
  • COQOS including AUTOSAR
  • Real-time Java
  • Ada
  • RTEMS
  • OSEK
  • ITRON

Supported Hardware

PikeOS running on processors with PowerPC, x86, ARM, MIPS, SPARC and SuperH architectures. To ensure strict partitioning of resources must have the processor via a Memory Management Unit or Memory Protection Unit.

Since version 3.1 PikeOS supports multicore systems.

650458
de