“AIR Technology: a step towards ARINC 653 in space”

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=inproceedings
-
   
+
|title=AIR Technology: a step towards ARINC 653 in space
-
 
+
|author=José Rufino, João Craveiro, Tobias Schoofs, Cássia Tatibana, James Windsor
-
 
+
|Project=Project:AIR-II
-
 
+
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS)
-
 
+
|month=may
-
   
+
|year=2009
-
        AIR Technology: a step towards ARINC 653 in space
+
|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.
-
|author=
+
|address=Istanbul, Turkey
-
        José Rufino, João Craveiro, Tobias Schoofs, Cássia Tatibana, James Windsor
+
|booktitle=Proceedings of the Eurospace "Data Systems in Aerospace" Conference (DASIA 2009)
-
|url=
+
|url=http://www.navigators.di.fc.ul.pt/archive/papers/Rufino09DASIAAIR.pdf
-
        http://www.navigators.di.fc.ul.pt/archive/papers/Rufino09DASIAAIR.pdf
+
-
|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.
+
-
|type=
+
-
        inproceedings
+
-
|booktitle=
+
-
        Proceedings of the Eurospace "Data Systems in Aerospace" Conference (DASIA 2009), Istanbul, Turkey, May 2009.
+
-
|month=
+
-
        may
+
-
|year=
+
-
        2009
+
-
|Project=
+
-
        Project:AIR-II
+
-
|ResearchLine=
+
-
        Timeliness and Adaptation in Dependable Systems (TADS)
+
}}
}}

Latest revision as of 10:53, 17 January 2013

José Rufino, João Craveiro, Tobias Schoofs, Cássia Tatibana, James Windsor

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.

Download paper

Download AIR Technology: a step towards ARINC 653 in space

Export citation

BibTeX

Project(s): Project:AIR-II

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

Personal tools
Navigators toolbox