Architecture, mechanisms and scheduling analysis tool for multicore time- and space-partitioned systems

Time- and space-partitioned systems (TSP) are a current trend in aerospace. They are employed to integrate a heterogeneous set of functions (different criticalities, real-time requirements, and origins) in a shared computing platform, fulfilling individual partitions' and global real-time properties. Applications are separated into logical partitions, scheduled according to predefined partition scheduling tables (PSTs). In this paper we expose our current work on exploiting multiprocessor/multicore processor platforms to add capacity, flexibility and safety to the current state of the art in TSP systems. We propose architectural evolutions, as well as the development of a schedule analysis and generation tool based on Cheddar. The tool will incorporate and extend real-time scheduling theory results, and be able to analyse the feasibility of PSTs and aid the generation of PSTs from the individual timing requirements of each function.

[1]  Laurent George,et al.  Multi-criteria evaluation of partitioning schemes for real-time systems , 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

[2]  Sanjoy K. Baruah,et al.  Virtual Multiprocessor Platforms: Specification and Use , 2009, 2009 30th IEEE Real-Time Systems Symposium.

[3]  James Windsor,et al.  Time and Space Partitioning in Spacecraft Avionics , 2009, 2009 Third IEEE International Conference on Space Mission Challenges for Information Technology.

[4]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[5]  Insup Lee,et al.  Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors , 2008, 2008 Euromicro Conference on Real-Time Systems.

[6]  José Rufino,et al.  Adaptability Support in Time- and Space-Partitioned Aerospace Systems , 2010 .

[7]  Sanjoy K. Baruah,et al.  Mixed-Criticality Real-Time Scheduling for Multicore Systems , 2010, 2010 10th IEEE International Conference on Computer and Information Technology.

[8]  Giorgio C. Buttazzo,et al.  The Multi Supply Function Abstraction for Multiprocessors , 2009, 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.

[9]  Sudarshan K. Dhall,et al.  On a Real-Time Scheduling Problem , 1978, Oper. Res..

[10]  Giorgio C. Buttazzo,et al.  Rate Monotonic Analysis: The Hyperbolic Bound , 2003, IEEE Trans. Computers.

[11]  Alan Burns,et al.  A survey of hard real-time scheduling for multiprocessor systems , 2011, CSUR.

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

[13]  Rami G. Melhem,et al.  An Improved Rate-Monotonic Admission Control and Its Applications , 2003, IEEE Trans. Computers.

[14]  Alain Plantec,et al.  Investigating the usability of real-time scheduling theory with the Cheddar project , 2009, Real-Time Systems.

[15]  Giuseppe Lipari,et al.  A Framework for Hierarchical Scheduling on Multiprocessors: From Application Requirements to Run-Time Allocation , 2010, 2010 31st IEEE Real-Time Systems Symposium.

[16]  José Rufino,et al.  Schedulability analysis in partitioned systems for aerospace avionics , 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

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

[18]  Julien Delange,et al.  Validate, simulate, and implement ARINC653 systems using the AADL , 2009, SIGAda '09.

[19]  Joaquim Rosa,et al.  Safe online reconfiguration of time- and space-partitioned systems , 2011, 2011 9th IEEE International Conference on Industrial Informatics.