Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics

  • José Rufino
  • João Craveiro
  • Paulo Verissimo
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6399)


Future space systems require innovative computing system architectures, on account of their size, weight, power consumption, cost, safety and maintainability requisites. The AIR (ARINC 653 in Space Real-Time Operating System) architecture answers the interest of the space industry, especially the European Space Agency, in transitioning to the flexible and safe approach of having onboard functions of different criticalities share hardware resources, while being functionally separated in logical containers (partitions). Partitions are separated in the time and space domains. In this paper we present the evolution of the AIR architecture, from its initial ideas to the current state of the art. We describe the research we are currently performing on AIR, which aims to obtain an industrial-grade product for future space systems, and lay the foundations for further work.


European Space Agency Controller Area Network Schedulability Analysis Spatial Partitioning Footprint Size 


  1. 1.
    AEEC: Design guidance for Integrated Modular Avionics. ARINC Report 651-1 (November 1997)Google Scholar
  2. 2.
    AEEC: Avionics application software standard interface, part 1 - required services. ARINC Specification 653P1-2 (March 2006)Google Scholar
  3. 3.
    AEEC: Avionics application software standard interface, part 2 - extended services. ARINC Specification 653P2-1 (December 2008)Google Scholar
  4. 4.
    Alves-Foss, J., Harrison, W.S., Oman, P., Taylor, C.: The MILS architecture for high-assurance embedded systems. Int. J. of Embedded Systems 2, 239–247 (2006)CrossRefGoogle Scholar
  5. 5.
    Craveiro, J.: Integration of generic operating systems in partitioned architectures. M.Sc. thesis, Faculty of Sciences, University of Lisbon, Lisbon, Portugal (2009)Google Scholar
  6. 6.
    Craveiro, J., Rufino, J., Schoofs, T., Windsor, J.: Flexible operating system integration in partitioned aerospace systems. In: Actas do INForum - Simpósio de Informática 2009, Lisbon, Portugal, pp. 49–60 (September 2009)Google Scholar
  7. 7.
    Craveiro, J., Rufino, J.: Schedulability analysis in partitioned systems for aerospace avionics. In: Proc. 15th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA 2010), Bilbao, Spain (September 2010)Google Scholar
  8. 8.
    Craveiro, J., Rufino, J., Almeida, C., Covelo, R., Venda, P.: Embedded Linux in a partitioned architecture for aerospace applications. In: Proc. 7th ACS/IEEE Int. Conf. on Computer Systems and Applications (AICCSA 2009), Rabat, Morocco, pp. 132–138 (May 2009)Google Scholar
  9. 9.
    Diniz, N., Rufino, J.: ARINC 653 in space. In: Proc. DASIA 2005 “Data Systems In Aerospace” Conf., Edinburgh, Scotland (June 2005)Google Scholar
  10. 10.
    ECSS: Space engineering: Interface and communication protocol for MIL-STD-1553B data bus onboard spacecraft. Standard ECSS-E-50-13 Draft C, ESA Requirements and Standards Division (May 2008)Google Scholar
  11. 11.
    ECSS: Space engineering: SpaceWire — links, nodes, routers and networks. Standard ECSS-E-ST-50-12C, ESA Requirements and Standards Division (July 2008)Google Scholar
  12. 12.
    Fletcher, M.: Progression of an open architecture: from Orion to Altair and LSS. Tech. rep., Honeywell International (May 2009)Google Scholar
  13. 13.
    Fortescue, P.W., Stark, J.P.W., Swinerd, G. (eds.): Spacecraft Systems Engineering, 3rd edn. Wiley, Chichester (2003)Google Scholar
  14. 14.
    Hodson, R., Ng, T.: Avionics for exploration. In: NASA Technology Exchange Conference, Galveston, TX, USA (November 2007)Google Scholar
  15. 15.
    Jones, M.: What really happened on Mars Rover Pathfinder. The RISKS Digest - Forum on Risks to the Public in Computers and Related Systems 19(49) (December 1997),
  16. 16.
    Kinnan, L.: Application migration from Linux prototype to deployable IMA platform using ARINC 653 and Open GL. In: Proc. 26th IEEE/AIAA Digital Avionics Systems Conference, Dallas, TX, USA, pp. 6.C.2-1–6.C.2-5 (October 2007)Google Scholar
  17. 17.
    Mignolet, J.Y., Wuyts, R.: Embedded multiprocessor systems-on-chip programming. IEEE Software 26(3), 34–41 (2009)CrossRefGoogle Scholar
  18. 18.
    OAR - On-Line Applications Research Corporation: RTEMS C Users Guide, 4.8 (February 2008)Google Scholar
  19. 19.
    Pushner, P., Koza, C.: Calculating the maximum execution time of real-time programs. Journal of Real-Time Systems 1, 160–176 (1989)Google Scholar
  20. 20.
    Rosa, J., Craveiro, J., Rufino, J.: Exploiting AIR composability towards spacecraft onboard software update. In: Actas do INForum - Simpósio de Informática 2010, Braga, Portugal (September 2010)Google Scholar
  21. 21.
    Rufino, J., Almeida, C., Verissimo, P., Arroz, G.: Enforcing dependability and timeliness in Controller Area Networks. In: Proc. 32nd Ann. Conf. of the IEEE Industrial Electronics Society (IECON’06), Paris, France (November 2006)Google Scholar
  22. 22.
    Rufino, J., Craveiro, J., Schoofs, T., Tatibana, C., Windsor, J.: AIR Technology: a step towards ARINC 653 in space. In: Proc. DASIA 2009 “Data System In Aerospace” Conf., Istanbul, Turkey (May 2009)Google Scholar
  23. 23.
    Rufino, J., Filipe, S., Coutinho, M., Santos, S., Windsor, J.: ARINC 653 interface in RTEMS. In: Proc. DASIA 2007 “DAta Systems In Aerospace” Conf., Naples, Italy (June 2007)Google Scholar
  24. 24.
    Rufino, J., Craveiro, J., Verissimo, P.: Architecting robustness and timeliness in a new generation of aerospace systems. In: Casimiro, A., de Lemos, R., Gacek, C. (eds.) Architecting Dependable Systems. LNCS, vol. 7. Springer, Heidelberg (2010)Google Scholar
  25. 25.
    Rushby, J.: Partitioning in avionics architectures: Requirements, mechanisms and assurance. NASA Contractor Report CR-1999-209347, SRI International, California, USA (Jun 1999)Google Scholar
  26. 26.
    Santos, S., Rufino, J., Schoofs, T., Tatibana, C., Windsor, J.: A portable ARINC 653 standard interface. In: Proc. IEEE/AIAA 27th Digital Avionics Systems Conf. (DASC ’08), St. Paul, MN, USA (October 2008)Google Scholar
  27. 27.
    Schöbel, M., Polze, A.: Kernel-mode scheduling server for CPU partitioning: a case study using the Windows Research Kernel. In: Proc. 2008 ACM Symp. on Applied Computing (SAC 2008), pp. 1700–1704. ACM, Fortaleza (2008)CrossRefGoogle Scholar
  28. 28.
    Seyer, R., Siemers, C., Falsett, R., Ecker, K., Richter, H.: Robust partitioning for reliable real-time systems. In: Proc. 18th Int. Parallel and Distributed Processing Symp., pp. 117–122 (April 2004)Google Scholar
  29. 29.
    Souza, J.L.R., Rufino, J.: Characterization of inaccessibility in wireless networks: a case study on IEEE 802.15.4 standard. In: Proc. IESS International Embedded Systems Symposium ’09, Langenargen, Germany (September 2009)Google Scholar
  30. 30.
    Terraillon, J.L., Hjortnaes, K.: Technical note on on-board software. European Space Technology Harmonisation, Technical Dossier on Mapping, TOSE-2-DOS-1, ESA (February 2003)Google Scholar
  31. 31.
    TTTech.: TTEthernet specification. Document D-INT-S-10-002, TTTech. Computertechnik AG (November 2008)Google Scholar
  32. 32.
    Watkins, C., Walter, R.: Transitioning from federated avionics architectures to Integrated Modular Avionics. In: Proc. 26th IEEE/AIAA Digital Avionics Systems Conf. (DASC 2007), Dallas, TX, USA (October 2007)Google Scholar
  33. 33.
    Windsor, J., Hjortnaes, K.: Time and space partitioning in spacecraft avionics. In: Proc. 3rd IEEE Int. Conf. on Space Mission Challenges for Information Technology (SMC-IT 2009), Pasadena, CA, USA, pp. 13–20 (July 2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • José Rufino
    • 1
  • João Craveiro
    • 1
  • Paulo Verissimo
    • 1
  1. 1.Faculty of Sciences, LaSIGEUniversity of Lisbon 

Personalised recommendations