Architecting Robustness and Timeliness in a New Generation of Aerospace Systems

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


Aerospace systems have strict dependability and real-time requirements, as well as a need for flexible resource reallocation and reduced size, weight and power consumption. To cope with these issues, while still maintaining safety and fault containment properties, temporal and spatial partitioning (TSP) principles are employed. In a TSP system, the various onboard functions (avionics, payload) are integrated in a shared computing platform, however being logically separated into partitions. Robust temporal and spatial partitioning means that partitions do not mutually interfere in terms of fulfilment of real-time and addressing space encapsulation requirements. This chapter describes in detail the foundations of an architecture for robust TSP aiming a new generation of spaceborne systems, including advanced dependability and timeliness adaptation control mechanisms. A formal system model which allows verification of integrator-defined system parameters is defined, and a prototype implementation demonstrating the current state of the art is presented.


Spatial Partitioning Faulty Process Aerospace System Deadline Time Early Deadline 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  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.
    Audsley, N., Wellings, A.: Analysing APEX applications. In: Proc. 17th IEEE Real-Time Systems Symp., Washington, DC, USA, pp. 39–44 (December 1996)Google Scholar
  5. 5.
    Bate, I., Burns, A.: A dependable distributed architecture for a safety critical hard real-time system. In: IEE Half-Day Colloquium on Hardware Systems for Dependable Applications (Digest No: 1997/335), pp. 1/1–1/6 (1997)Google Scholar
  6. 6.
    Conmy, P., McDermid, J.: High level failure analysis for Integrated Modular Avionics. In: Proc. 6th Australian Workshop on Safety critical systems and software, vol. 3, pp. 13–21. Australian Computer Society, Inc., Brisbane (2001)Google Scholar
  7. 7.
    Coutinho, M., Almeida, C., Rufino, J.: VITRAL - a text mode window manager for real-time embedded kernels. In: Proc. 11th IEEE Int. Conf. on Emerging Technologies and Factory Automation. Prague, Czech Republic (September 2006)Google Scholar
  8. 8.
    Craveiro, J.: Integration of generic operating systems in partitioned architectures. MSc thesis, Faculty of Sciences, University of Lisbon (July 2009)Google Scholar
  9. 9.
    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, Rabat, Morocco, pp. 132–138 (May 2009)Google Scholar
  10. 10.
    Davis, R., Burns, A.: A survey of hard real-time scheduling algorithms and schedulability analysis techniques for multiprocessor systems. Tech. Rep. YCS-2009-443, University of York, Department of Computer Science (2009)Google Scholar
  11. 11.
    Diniz, N., Rufino, J.: ARINC 653 in space. In: Proc. DASIA 2005 “DAta System. Aerospace” Conf. Edinburgh, Scotland (June 2005)Google Scholar
  12. 12.
    Easwaran, A., Lee, I., Sokolsky, O., Vestal, S.: A compositional scheduling framework for digital avionics systems. In: Proc. 15th IEEE Int. Conf. on Embedded and Real-Time Computing Systems and Applications. Beijing, China (August 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.
    Grigg, A., Audsley, N.: Towards a scheduling and timing analysis solution for integrated modular avionic systems. Microprocessors and Microsystems Journal 22(8), 423–431 (1999)CrossRefGoogle Scholar
  15. 15.
    IEEE: 1996 (ISO IEC) [IEEE ANSI Std 1003.1, 1996 Edition] Information Technology — Portable Operating System Interface (POSIX) — Part 1: System Application: Program Interface (API) [C Language]. IEEE, New York, USA (1996)Google Scholar
  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.
    Kopetz, H., Grünsteidl, G.: TTP — a time-triggered protocol for fault-tolerant real-time systems. In: Proc. 23rd Int. Symp. on Fault-Tolerant Computing (1993)Google Scholar
  18. 18.
    Lee, Y., Kim, D., Younis, M., Zhou, J.: Partition scheduling in APEX runtime environment for embedded avionics software. In: Proc. 5th Int. Conf. on Real-Time Computing Systems and Applications, Hiroshima, Japan, pp. 103–109 (1998)Google Scholar
  19. 19.
    Masmano, M., Ripoll, I., Crespo, A.: XtratuM Hypervisor for LEON2: design and implementation overview. Tech. rep., I. U. de Automática e Informática Industrial, Universidad Politécnica de Valencia (January 2009)Google Scholar
  20. 20.
    Mok, A.K., Feng, A.X.: Real-time virtual resource: A timely abstraction for embedded systems. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol. 2491, pp. 182–196. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  21. 21.
    OAR — On-Line Applications Research Corporation: RTEMS C Users Guide, 4.8 edn. (February 2008)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. 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 System, Aerospace” Conf. Naples, Italy (June 2007)Google Scholar
  24. 24.
    Rushby, J.: Partitioning in avionics architectures: Requirements, mechanisms and assurance. NASA Contractor Report CR-1999-209347, SRI International, California, USA (June 1999)Google Scholar
  25. 25.
    Sánchez-Puebla, M.A., Carretero, J.: A new approach for distributed computing in avionics systems. In: Proc. 1st Int. Symp. on Information and Communication Technologies, pp. 579–584 Trinity College Dublin, Dublin (2003)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. St. Paul, MN, USA (October 2008)Google Scholar
  27. 27.
    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
  28. 28.
    The SPARC Architecture Manual, Version 8 SPARC International, Inc., Menlo Park, CA, USA (1992)Google Scholar
  29. 29.
    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
  30. 30.
    Watkins, C., Walter, R.: Transitioning from federated avionics architectures to Integrated Modular Avionics. In: Proc. 26th IEEE/AIAA Digital Avionics Systems Conf. Dallas, TX, USA (October 2007)Google Scholar
  31. 31.
    Wind River: Wind River VxWorks 653 Platform, (retrieved on June 17, 2010)
  32. 32.
    Windsor, J., Hjortnaes, K.: Time and space partitioning in spacecraft avionics. In: Proc. 3rd IEEE Int. Conf. on Space Mission Challenges for Information Technology, 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 LisbonLisboaPortugal

Personalised recommendations