PikeOS

PikeOS is a certifiable hard Real-Time Operating System (RTOS), including a hypervisor-based separation microkernel designed for the highest levels of safety and security. The separation architecture not only provides strict isolation of applications, but it also allows for the development of mixed-criticality software solutions. PikeOS combines a modular, flexible, and future-proof architecture with a large variety of industry certification standards. With this fully European solution, free from any export restrictions (ITAR free), customers benefit in terms of reduction of cost, risk, and full system certification lead times. SYSGO offers optional long-term support for all OS products.

The PikeOS technology has been certified against numerous certification standards, including DO-178C (Aviation), ECSS (Space), IEC 61508 (Industrial), EN 50128 (Railway), IEC 62304 (Medical), and ISO 26262 (Automotive). SYSGO provides the necessary certification kits to demonstrate compliance against these standards to the applicable certification authority. The PikeOS ARINC 653 personality provides a certifiable subset APEX API target for Avionics systems. The PikeOS 5.1.3 Separation Kernel is also certified according to Common Criteria (ISO/IEC 15408) EAL 5+ for Cybersecurity, meaning that PikeOS is certifiable to the highest levels of safety and security.

PikeOS supports several hardware architectures, such as x86, ARM v7 v8, SPARC/LEON v8, PowerPC, and RISC-V. The RTOS support processors that come with a Memory Management Unit (MMU) and less complex Systems-on-a-Chip (SoCs) that contain a Memory Protection Unit (MPU) only.

MATLAB^® and Simulink^® models can be translated into ANSI-C code via the Embedded Coder^®, and executed on PikeOS as PikeOS Native or ARINC 653 applications, depending on the Simulink environment.

Benefits include:

• Rapid prototyping and development of complex control algorithms
• Simulation of system dynamics
• Analysis of control strategies with a streamlined process
• Less manual coding required therefore fewer potential errors and a quicker time-to-market
• A more reliable system