“AIR Project Final Report”

From Navigators

(Difference between revisions)
Jump to: navigation, search
(NavsPubsFull5.xml import (201201141459, full reimport with new ids for legacy pubs avoiding collisions))
Line 1: Line 1:
{{Publication
{{Publication
-
|title=
+
|type=techreport
-
   
+
|title=AIR Project Final Report
-
 
+
|author=José Rufino, Sérgio Filipe
-
 
+
|Project=Project:AIR
-
 
+
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS)
-
 
+
|month=dec
-
   
+
|year=2007
-
        AIR Project Final Report
+
|abstract=This document describes 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: (i) describes the main issues regarding the AIR architecture specification; (ii) addresses how space and time partitioning could be provided in an abstract processor infrastructure, as well as those requirements can be mapped into both SPARC ERC32/LEON and Intel IA-32 (80x86) architectures; (iii) describes how to achieve the mapping of the ARINC 653 service interface in RTEMS; (iv) identifies the most relevant module dependencies of RTEMS with regard to AIR implementations; (v) identifies a preliminary set of modifications to be introduced in the RTEMS application production chain for the implementation of AIR-based systems (exemplified through a proof of concept prototype)
-
|author=
+
|institution=University of Lisbon, DI-FCUL
-
        José Rufino, Sérgio Filipe
+
|note=http://hdl.handle.net/10455/2955
-
|url=
+
|number=TR-07-36
-
        http://docs.di.fc.ul.pt/jspui/bitstream/10455/2982/1/07-35.pdf
+
|url=http://docs.di.fc.ul.pt/jspui/bitstream/10455/2982/1/07-35.pdf
-
|abstract=
+
-
        This document describes 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: (i) describes the main issues regarding the AIR architecture specification; (ii) addresses how space and time partitioning could be provided in an abstract processor infrastructure, as well as those requirements can be mapped into both SPARC ERC32/LEON and Intel IA-32 (80x86) architectures; (iii) describes how to achieve the mapping of the ARINC 653 service interface in RTEMS; (iv) identifies the most relevant module dependencies of RTEMS with regard to AIR implementations; (v) identifies a preliminary set of modifications to be introduced in the RTEMS application production chain for the implementation of AIR-based systems (exemplified through a proof of concept prototype)
+
-
|type=
+
-
        techreport
+
-
|note=
+
-
        DI-FCUL Technical Report TR-07-35, Lisbon, Portugal, December 2007.
+
-
|month=
+
-
        dec
+
-
|year=
+
-
        2007
+
-
|Project=
+
-
        Project:AIR
+
-
|ResearchLine=
+
-
        Timeliness and Adaptation in Dependable Systems (TADS)
+
}}
}}

Revision as of 13:00, 15 January 2013

José Rufino, Sérgio Filipe

University of Lisbon, DI-FCUL, Tech. Rep. TR-07-36, Dec. 2007.

http://hdl.handle.net/10455/2955.
Abstract: This document describes 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: (i) describes the main issues regarding the AIR architecture specification; (ii) addresses how space and time partitioning could be provided in an abstract processor infrastructure, as well as those requirements can be mapped into both SPARC ERC32/LEON and Intel IA-32 (80x86) architectures; (iii) describes how to achieve the mapping of the ARINC 653 service interface in RTEMS; (iv) identifies the most relevant module dependencies of RTEMS with regard to AIR implementations; (v) identifies a preliminary set of modifications to be introduced in the RTEMS application production chain for the implementation of AIR-based systems (exemplified through a proof of concept prototype)

Download paper

Download AIR Project Final Report

Export citation

BibTeX

Project(s): Project:AIR

Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)

Personal tools
Navigators toolbox