Scheduling Mixed-Criticality Implicit-Deadline Sporadic Task Systems upon a Varying-Speed Processor

A mixed criticality (MC) workload consists of components of varying degrees of importance (or "criticalites"). The problem of executing a MC workload, modeled as a collection of independent implicit-deadline sporadic tasks executing upon a preemptive uniprocessor, is considered. Suitable scheduling strategies are devised for scheduling such systems despite uncertainty and unpredictability in both the amount of execution needed by the tasks, and the effective speed of the processor. These scheduling strategies allow for simultaneously making efficient use of platform resources and ensuring the correctness of the more critical workload components at greater levels of assurance.

[1]  Sanjoy K. Baruah,et al.  Mixed-Criticality Scheduling of Sporadic Task Systems , 2011, ESA.

[2]  Alan Burns,et al.  Mixed Criticality on Controller Area Network , 2013, 2013 25th Euromicro Conference on Real-Time Systems.

[3]  Sanjoy K. Baruah,et al.  The Preemptive Uniprocessor Scheduling of Mixed-Criticality Implicit-Deadline Sporadic Task Systems , 2012, 2012 24th Euromicro Conference on Real-Time Systems.

[4]  Dirk Müller,et al.  The schedulability region of two-level mixed-criticality systems based on EDF-VD , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[5]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[6]  Sanjoy K. Baruah,et al.  Certification-cognizant scheduling of tasks with pessimistic frequency specification , 2012, 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12).

[7]  Wang Yi,et al.  Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems , 2011, 2011 IEEE 32nd Real-Time Systems Symposium.

[8]  Sanjoy K. Baruah,et al.  Mixed-Criticality Scheduling upon Varying-Speed Processors , 2013, 2013 IEEE 34th Real-Time Systems Symposium.

[9]  Giorgio C. Buttazzo,et al.  HARD REAL-TIME COMPUTING SYSTEMS Predictable Scheduling Algorithms and Applications , 2007 .

[10]  Robert I. Davis,et al.  Mixed Criticality Systems - A Review , 2015 .

[11]  Marius Bozga,et al.  Mixed Critical Earliest Deadline First , 2013, 2013 25th Euromicro Conference on Real-Time Systems.

[12]  David Blaauw,et al.  A Power-Efficient 32 bit ARM Processor Using Timing-Error Detection and Correction for Transient-Error Tolerance and Adaptation to PVT Variation , 2011, IEEE Journal of Solid-State Circuits.

[13]  Frank Slomka,et al.  An event stream driven approximation for the analysis of real-time systems , 2004, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004..

[14]  Wang Yi,et al.  Improving the Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems , 2013 .

[15]  David Blaauw,et al.  A power-efficient 32b ARM ISA processor using timing-error detection and correction for transient-error tolerance and adaptation to PVT variation , 2010, 2010 IEEE International Solid-State Circuits Conference - (ISSCC).

[16]  Friedrich Eisenbrand,et al.  EDF-schedulability of synchronous periodic task systems is coNP-hard , 2010, SODA '10.

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

[18]  Sanjoy K. Baruah,et al.  Response-time analysis of mixed criticality systems with pessimistic frequency specification , 2013, 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications.

[19]  Alan Burns,et al.  Sustainable Scheduling Analysis , 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

[20]  Aloysius Ka-Lau Mok,et al.  Fundamental design problems of distributed systems for the hard-real-time environment , 1983 .