Abstract
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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This work was partially developed within the scope of the ESA (European Space Agency) Innovation Triangle Initiative program, through ESTEC Contract 21217/07/NL/CB, Project AIR-II (ARINC 653 in Space RTOS – Industrial Initiative, http://air.di.fc.ul.pt). This work was partially supported by Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology), through the Multiannual Funding and CMU-Portugal Programs and the Individual Doctoral Grant SFRH/BD/60193/2009.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
AEEC: Design guidance for Integrated Modular Avionics. ARINC Report 651-1 (November 1997)
AEEC: Avionics application software standard interface, part 1 - required services. ARINC Specification 653P1-2 (March 2006)
AEEC: Avionics application software standard interface, part 2 - extended services. ARINC Specification 653P2-1 (December 2008)
Audsley, N., Wellings, A.: Analysing APEX applications. In: Proc. 17th IEEE Real-Time Systems Symp., Washington, DC, USA, pp. 39–44 (December 1996)
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)
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)
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)
Craveiro, J.: Integration of generic operating systems in partitioned architectures. MSc thesis, Faculty of Sciences, University of Lisbon (July 2009)
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)
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)
Diniz, N., Rufino, J.: ARINC 653 in space. In: Proc. DASIA 2005 “DAta System. Aerospace” Conf. Edinburgh, Scotland (June 2005)
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)
Fortescue, P.W., Stark, J.P.W., Swinerd, G. (eds.): Spacecraft Systems Engineering, 3rd edn. Wiley, Chichester (2003)
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)
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)
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)
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)
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)
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)
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)
OAR — On-Line Applications Research Corporation: RTEMS C Users Guide, 4.8 edn. (February 2008)
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)
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)
Rushby, J.: Partitioning in avionics architectures: Requirements, mechanisms and assurance. NASA Contractor Report CR-1999-209347, SRI International, California, USA (June 1999)
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)
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)
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)
The SPARC Architecture Manual, Version 8 SPARC International, Inc., Menlo Park, CA, USA (1992)
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)
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)
Wind River: Wind River VxWorks 653 Platform, http://www.windriver.com/products/platforms/safety_critical_arinc_653/ (retrieved on June 17, 2010)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Rufino, J., Craveiro, J., Verissimo, P. (2010). Architecting Robustness and Timeliness in a New Generation of Aerospace Systems. In: Casimiro, A., de Lemos, R., Gacek, C. (eds) Architecting Dependable Systems VII. Lecture Notes in Computer Science, vol 6420. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17245-8_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-17245-8_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-17244-1
Online ISBN: 978-3-642-17245-8
eBook Packages: Computer ScienceComputer Science (R0)