Schedulability analysis in partitioned systems for aerospace avionics

Aerospace mission systems' size, weight and power consumption requirements call for the integration of multiple functions on a single embedded computing platform. A current trend to guard against potential timeliness and safety issues in integrating applications of different natures and providers is the employment of temporal and spatial partitioning. The AIR architecture, defined within initiatives sponsored by the European Space Agency to meet these goals, supports multiple partition operating systems, and advanced timeliness control and adaptation mechanisms. In this paper we propose how to take advantage of composability properties inherent to the build and integration process of AIR-based systems, towards tool-assisted scheduling analysis and configuration support.

[1]  Jane W.-S. Liu,et al.  Scheduling real-time applications in an open environment , 1997, Proceedings Real-Time Systems Symposium.

[2]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[3]  Mohamed F. Younis,et al.  Partition scheduling in APEX runtime environment for embedded avionics software , 1998, Proceedings Fifth International Conference on Real-Time Computing Systems and Applications (Cat. No.98EX236).

[4]  Insup Lee,et al.  A Compositional Scheduling Framework for Digital Avionics Systems , 2009, 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.

[5]  Laurent Nana,et al.  Cheddar: a flexible real time scheduling framework , 2004, SIGAda.

[6]  Peter P. Puschner,et al.  Calculating the maximum execution time of real-time programs , 1989, Real-Time Systems.

[7]  S. Santos,et al.  A portable ARINC 653 standard interface , 2008, 2008 IEEE/AIAA 27th Digital Avionics Systems Conference.

[8]  José Rufino,et al.  Architecting Robustness and Timeliness in a New Generation of Aerospace Systems , 2009, WADS.

[9]  Rushby John,et al.  Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance , 1999 .

[10]  Andy J. Wellings,et al.  Analysing APEX applications , 1996, 17th IEEE Real-Time Systems Symposium.