“AIR Technology: a step towards ARINC 653 in space”
in Proceedings of the Eurospace "Data Systems in Aerospace" Conference (DASIA 2009), Istanbul, Turkey, May 2009.
Abstract: 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.
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)