Back to the Overview

PikeOS for MPU: Building secure Space Systems

Whitepapers, PikeOS, Avionics & Defense, Security, Space

Space systems play a critical role in modern technology, supporting everything from global communications to Earth observation and navigation. As our reliance on these systems grows, understanding their design, function, and challenges becomes increasingly important.

This whitepaper presents a Cybersecurity test framework developed in collaboration with the European Space Agency, aimed at supporting mixed criticality embedded systems in Space, Avionics, and transportation. Leveraging SYSGO’s PikeOS for MPU RTOS, the framework enables secure partitioning of applications—ranging from Linux to custom control code—ensuring isolation and controlled communications. 

Emphasizing Cybersecurity-by-Design, the approach integrates prequalified Security documentation and hypervisor technology. A key innovation is the use of Docker for system-level testing, enabling full automation and certification-ready artifacts. The solution supports early-stage verification in simulated environments and seamless transition to on-site hardware testing. 

A successful Common Criteria evaluation on ARM Cortex-R52 demonstrates the framework’s effectiveness in achieving comprehensive Security validation and coverage.


Download the Whitepaper