XtratuM for LEON3: an Open Source Hypervisor for High Integrity Systems
Miguel Masmano, Ismael Ripoll, Alfons Crespo, Salvador Peiró · 2010
Abstract: The growing complexity of the payload on-board satellite software experimented during the last years has raised the interest of the CNES and the ESA to explore the possibility of using a TSP-based architecture as base of the payload software of its new generation satellites. Such a solution can be implemented by using different approaches: virtu-alization, µ-kernels, separation kernels. XtratuM is an open-source hypervisor targeted high-critical real-time systems which has been se-lected by ESA to be ported to the LEON3 processor in the frame of the Securely Partitioning Spacecraft Computing Resources project. This paper addresses the current status of the XtratuM open-source hyper-visor for LEON3. In addition an early evaluation of it is also sketched.