AIR-II: ARINC 653 In Space RTOS - Industrial Initiative
- Research Line(s): Timeliness and Adaptation in Dependable Systems (TADS)
- Sponsor: European Space Agency - Innovation Triangle Initiative
- Coordinator: Skysoft Portugal
- Partners: FCUL, Skysoft Portugal, Thales Alenia Space
- Start Date: Jan. 2008
- Duration: 24 months
- Team at FCUL: Researchers including José Rufino, João Pedro Craveiro, Joaquim Rosa
The ARINC 653 specification is an important block from the Integrated Modular Avionics (IMA) definition, and both emerged in the civil aviation sector to answer to problems also identified in the space world. The AIR innovation initiative stemmed from the interest of the European Space Agency (ESA) in the adoption of the ARINC 653 concept for space on-board software, and aimed at the utilization and re-utilization of components off the shelf (COTS), exploiting the use of the Real-Time Executive for Multiprocessor Systems (RTEMS), a free/opensource real-time operating system. However, the AIR activies went further ahead, and resulted, not only in the intended proof of concept of the utilization of ARINC 653 in space, but also in the definition of a general architecture for an ARINC 653-compliant RTOS, allowing the co-existence of different RTOS kernels in different partitions.
The "AIR-II: ARINC 653 Interface in Space RTOS - Industrial Initiative" activities continue the work done in AIR, with the goal of becoming closer to a real system by improving and completing the key ideas identified. Besides evolving the design of an ARINC 653-compliant RTOS, AIR-II strives to make prototyping more efficient, by uniformizing the integration of operating systems and using widely available production chain tools. The establishment of a uniform methodology for operating system integration benefits from lessons learned in the course of work with Linux, and opens room for the flexible integration of real-time and non-real-time operating systems.
Open design issues from AIR, which will be dealth with in AIR-II, concern: consolidation of robust spatial segregation features, including hardware-based memory protection mechanisms; enhancing timeliness attributes, by adding support for multiple mode-based schedules (defined as an additional service in ARINC 653, Part 2) and runtime process deadline violation monitoring; definition of a flexible and portable Application Executive (APEX) Interface; definition of space-specific functions, such as health monitoring functions for error processing at all the levels of the system.
The AIR-II consortium benefits from the experience of both FCUL and Skysoft researchers obtained from the results of the AMOBA (ARINC 653 simulator for modular space based applications) activity, and is sustained by a new partner, Thales Alenia Space, a key system integrator for ESA.
- João Pedro Craveiro, “Real-Time Scheduling in Multicore Time- and Space-Partitioned Architectures”, Ph.D. dissertation, University of Lisbon, Lisbon, Portugal, Aug. 2013. Defended in 2014
- Jeferson L. R. Souza, André Guerreiro, José Rufino, “Characterizing Inaccessibility in IEEE 802.15.4 Through Theoretical Models and Simulation Tools”, in INFORUM 2012 - Simpósio de Informática, Lisbon, Portugal, Sept. 2012.
- João Pedro Craveiro, Joaquim Rosa, José Rufino, “Towards Self-Adaptive Scheduling in Time- and Space-Partitioned Systems”, in 32nd IEEE Real-Time Systems Symposium (RTSS 2011) — Work-in-Progress session, Vienna, Austria, Dec. 2011.
- Jeferson L. R. Souza, José Rufino, “An Approach to Enhance the Timeliness of Wireless Communications”, in Proceedings of the Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM), Lisbon, November, 2011., Nov. 2011.
- Joaquim Rosa, João Pedro Craveiro, José Rufino, “Safe Online Reconfiguration of Time- and Space-Partitioned Systems”, in 9th IEEE International Conference on Industrial Informatics (INDIN 2011), Caparica, Lisbon, Portugal, Jul. 2011.
- João Pedro Craveiro, José Rufino, Frank Singhoff, “Architecture, Mechanisms and Scheduling Analysis Tool for Multicore Time- and Space-Partitioned Systems”, ACM SIGBED Review, vol. 8, no. 3, Jul. 2011. Special issue on the ECRTS 2011WiP session (Porto, Portugal, Jul. 2011)
- Joaquim Rosa, “Development and Update of Aerospace Applications in Partitioned Architectures”, Master’s thesis, Faculdade de Ciências, Universidade de Lisboa, May 2011.
- José Rufino, João Pedro Craveiro, Paulo Verissimo, “Architecting Robustness and Timeliness in a New Generation of Aerospace Systems”, in Architecting Dependable Systems VII, António Casimiro, Rogério de Lemos, Cristina Gacek, Eds., ser. LNCS. Springer, Nov. 2010, vol. 6420.
- João Pedro Craveiro, José Rufino, “Adaptability Support in Time- and Space-Partitioned Aerospace Systems”, in Proceedings of the Second International Conference on Adaptive and Self-adaptive Systems and Applications (ADAPTIVE 2010), Lisbon, Portugal, Nov. 2010.
- João Pedro Craveiro, José Rufino, “Composability and Adaptability on a Time- and Space-Partitioned Architecture for Spacecraft Onboard Software”, in FACS 2010 - 7th Inter. Workshop on Formal Aspects of Component Software, Guimarães, Portugal, Oct. 2010.
- José Rufino, João Pedro Craveiro, Paulo Verissimo, “Building a time- and space-partitioned architecture for the next generation of space vehicle avionics”, in Proceedings of the 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2010), Waidhofen an der Ybbs, Austria, Oct. 2010.
- João Pedro Craveiro, José Rufino, “Schedulability Analysis in Partitioned Systems for Aerospace Avionics”, in Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2010), Bilbao, Spain, Sept. 2010.
- Joaquim Rosa, João Pedro Craveiro, José Rufino, “Exploiting AIR Composability towards Spacecraft Onboard Software Update”, in Actas do INForum - Simpósio de Informática 2010, Braga, Portugal, Sept. 2010.
- Jeferson L. R. Souza, José Rufino, “Characterization of Inaccessibility in Wireless Networks - A Case Study on IEEE 802.15.4 Standard”, in Analysis, Architectures and Modelling of Embedded Systems. Proceedings of the Third IFIP TC 10 International Embedded Systems Symposium (IESS 2009), Langenargen, Germany, September, 2009. Series: IFIP Advances in Information and Communication Technology., Sept. 2009.
- João Pedro Craveiro, José Rufino, Tobias Schoofs, James Windsor, “Flexible Operating System Integration in Partitioned Aerospace Systems”, in Actas do INForum - Simpósio de Informática 2009, Lisbon, Portugal, Sept. 2009.
- João Pedro Craveiro, “Integration of generic operating systems in partitioned architectures”, Master’s thesis, Faculty of Sciences, University of Lisbon, Sept. 2009.
- Jeferson L. R. Souza, José Rufino, “Why is Important the Knowledge of Inaccessibility for Supporting Real-Time Communication over IEEE 802.15.4 ?”, in Actas do INForum - Simpósio de Informática 2009 (Work in Progress Session), Lisbon, Portugal, September 2009., Sept. 2009.
- João Pedro Craveiro, José Rufino, Carlos Almeida, Rui Covelo, Pedro Venda, “Embedded Linux in a partitioned architecture for aerospace applications”, in Proceedings of the 7th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2009), Rabat, Morocco, May 2009.
- José Rufino, João Pedro Craveiro, Tobias Schoofs, Cássia Tatibana, James Windsor, “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.
- Tobias Schoofs, Sérgio Santos, Cássia Tatibana, José Anjos, José Rufino, James Windsor, “An Integrated Modular Avionics Development Environment”, in Proceedings of the Eurospace Data Systems in Aerospace Conference (DASIA) 2009. Istanbul, Turkey, May 2009., May 2009.
- João Pedro Craveiro, “Integration of generic operating systems in partitioned architectures”, Master’s thesis, Faculdade de Ciências, Universidade de Lisboa, 2009.
- Sérgio Santos, José Rufino, Tobias Schoofs, Cássia Tatibana, James Windsor, “A Portable ARINC 653 Standard Interface”, in Proceedings of the 27th IEEE/AIAA Digital Avionics Systems Conference, St. Paul, Minnesota, USA, October 2008., Oct. 2008.
- Edgar Pascoal, “AMOBA - ARINC 653 Simulator for Modular Space Based Applications”, Master’s thesis, Faculdade de Ciências, Universidade de Lisboa, Jul. 2008.
- Edgar Pascoal, José Rufino, Tobias Schoofs, James Windsor, “AMOBA - ARINC 653 Simulator for Modular Space Based Applications”, in Proceedings of the Eurospace Data Systems in Aerospace Conference (DASIA 2008). Palma de Majorca, Spain, May 2008., May 2008.
BibTeXNavigators - AIR-II project
|Current projects:||DiSIEM, SEAL, AQUAMON, UPVN, IRCoC, Xivt, Abyss|
|Past projects:||TCLOUDS, MASSIF, MAFTIA, RESIST NoE, KARYON, HIDENETS, CORTEX, CRUTIAL, TRONE, SITAN, ReD, DIVERSE, CloudFIT, READAPT, REGENESYS, RC-Clouds, TACID, DARIO, RITAS, AJECT, MICRA, DEAR-COTS, COPE, DEFEATS, MOOSCO, TOPCOM, NORTH, SUPERCLOUD, COST Action IC1402, SEGRID, BioBankCloud, PROPHECY, SAPIENT, SecFuNet, FTH-Grid, AIR-II, AIR, ESFORS, CaberNet, GODC, BROADCAST, CoDiCom, Delta-4, RAPTOR|