Safe and Secure Partitioning with Pikeos: Towards Integrated Modular Avionics in Space
Abstract
This paper presents our approach to logical partitioning of spacecraft onboard software. We present PikeOS, a separation micro-kernel which applies the state-of-the- art techniques and widely recognised standards such as ARINC 653 and MILS in order to guarantee safety and security properties of partitions executing software with different criticality and confidentiality. We provide an overview of our approach, also used in the Securely Partitioning Spacecraft Computing Resources project, an ESA TRP contract, which shifts spacecraft onboard software development towards the Integrated Modular Avionics concept with relevance for dual-use military and civil missions.
- Publication:
-
DASIA 2009 - DAta Systems in Aerospace
- Pub Date:
- May 2009
- Bibcode:
- 2009ESASP.669E..27A