You are here: Home / RTLWS 1999-2017 / RTLWS Submitted Papers / 
2024-06-13 - 18:28

Dates and Events:

OSADL Articles:

2023-11-12 12:00

Open Source License Obligations Checklists even better now

Import the checklists to other tools, create context diffs and merged lists

2023-03-01 12:00

Embedded Linux distributions

Results of the online "wish list"

2022-01-13 12:00

Phase #3 of OSADL project on OPC UA PubSub over TSN successfully completed

Another important milestone on the way to interoperable Open Source real-time Ethernet has been reached

2021-02-09 12:00

Open Source OPC UA PubSub over TSN project phase #3 launched

Letter of Intent with call for participation is now available

Real Time Linux Workshops

1999 - 2000 - 2001 - 2002 - 2003 - 2004 - 2005 - 2006 - 2007 - 2008 - 2009 - 2010 - 2011 - 2012 - 2013 - 2014 - 2015

Twelfth Real-Time Linux Workshop on October 25 to 27, in Nairobi, Kenya

LithOS: a ARINC 653 guest operating for XtratuM

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.