AIR Technology: a step towards ARINC 653 in space

The Integrated Modular Avionics and the ARINC 653 specifications are assuming a key role in the provision of a standard operating system interface for safety-critical applications in both the aeronautic and space markets. The AIR Technology, designed within the scope of an ESA initiative to develop a proof of concept, implements the notion of robust temporal and spatial partitioning. A different operating system kernel may be used per partition, furnishing the bare services to build the ARINC 653 application programming interface. This paper describes the advances done during AIR-II, an initiative to evolve the AIR Technology proof of concept towards an industrial product. Current prototype activities are based on RTEMS and on the SPARC V8 LEON3 processor and work is being done on the integration of Linux in the AIR Technology.

[1]  José Rufino,et al.  Embedded Linux in a partitioned architecture for aerospace applications , 2009, 2009 IEEE/ACS International Conference on Computer Systems and Applications.

[2]  S. Santos,et al.  A portable ARINC 653 standard interface , 2008, 2008 IEEE/AIAA 27th Digital Avionics Systems Conference.

[3]  C.B. Watkins,et al.  Transitioning from federated avionics architectures to Integrated Modular Avionics , 2007, 2007 IEEE/AIAA 26th Digital Avionics Systems Conference.

[4]  José Rufino,et al.  ARINC 653 Interface in RTEMS , 2007 .

[5]  Rushby John,et al.  Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance , 1999 .

[6]  José Rufino,et al.  ARINC 653 in Space , 2005 .

[7]  James E. Smith,et al.  Virtual machines - versatile platforms for systems and processes , 2005 .