“AIR Project Summary Report”
University of Lisbon, DI-FCUL, Tech. Rep. TR-07-36, Dec. 2007.http://hdl.handle.net/10455/2955.
Abstract: This document summarizes the main results of AIR, an innovation initiative sponsored by ESA, the European Space Agency. The acronym AIR stands for ARINC 653 Interface in RTEMS. The ARINC 653 is a civil aviation world specification addressing safety critical and certification issues in embedded systems software. The AIR Project studied the adoption of ARINC 653 in space on-board software together with the utilization of RTEMS, the Real-Time Executive for Multiprocessor Systems. This document addresses: (i) the AIR architecture specification; (ii) the AIR support to partitioning mechanisms; (iii) the mapping of ARINC 653 services into RTEMS; (iv) the proof of concept prototypes
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)