Miguel Masmano, Ismael Ripoll, Yolanda Valiente, Patricia Balbastre and Alfons Crespo, Universidad Politecnica de Valencia, Spain

The ARINC-653 specification provides a standarized  interface between the OS within IMA and the application software which specifies the interface and the behavior of the API services but leaves implementation details to OS developers. In this way, the Application Execution(APEX) not only standarizes the definiton of services, but also the interface of the undelying OS. Most of the ARINC-653 implementations are based on separation kernels.

In this paper we present a ARINC-653 guest operating system built on top of XtratuM. XtratuM is an hypervisor designed for embedded safety critical systems which offers the low level functionalities to build ARINC-653 applications as partitions.

LithOS is the ARINC.653 guest OS on top of XtratuM that implements the services defined in the standard. Lithos offers the services:

• Time Management
• Partition Management
• Interpartition communications
• Processes
• Intrapartition communications
• Health Monitoring
• Multiple Schedules

In the paper, we will provide a detailed description of the design criteria and the services implemented. It will be completed with an evaluation of the performance achieved by LithOS.