A Sensitivity Analysis for Mixed Criticality: Trading Criticality with Computational Resource

Mixing workloads with multiple criticality levels raises challenges both in timing analysis and schedulability analysis. The timing models have to characterize the different behaviors that real-time tasks can experience under the various criticality modes. Instead, the schedulability analysis has to combine every task and task interactions providing several guarantees, depending on the criticality level demanded at runtime. With this work, at first we propose representations to model every possible system criticality mode as a combination of task criticality modes. A set of bounding functions is obtained, a bound for each mode combination thus corresponding to a system criticality level. Secondly, we develop the schedulability analysis that applies such sets and derives schedulability conditions with mixed criticalities. The tasks are scheduled with fixed priority and earlies deadline first, and various levels of schedulability are defined from the mode combinations. Finally, we make use of the sensitivity analysis to evaluate the impact that multi mode task behaviors have on schedulability. Trade-offs between schedulability, criticality levels and resource availability are explored. A mixed critical real-time system case study validates the framework proposed.

[1]  Sanjoy K. Baruah,et al.  Scheduling Real-Time Mixed-Criticality Jobs , 2010, IEEE Transactions on Computers.

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

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

[4]  Giorgio C. Buttazzo,et al.  Schedulability analysis of periodic fixed priority systems , 2004, IEEE Transactions on Computers.

[5]  Marco Di Natale,et al.  Mixed Criticality Systems - A History of Misconceptions? , 2016, IEEE Des. Test.

[6]  Ragunathan Rajkumar,et al.  On the Scheduling of Mixed-Criticality Real-Time Task Sets , 2009, 2009 30th IEEE Real-Time Systems Symposium.

[7]  Laurent George,et al.  Characterization of the Space of Feasible Worst-Case Execution Times for Earliest-Deadline-First Scheduling , 2009, J. Aerosp. Comput. Inf. Commun..

[8]  Sanjoy K. Baruah,et al.  Intractability Issues in Mixed-Criticality Scheduling , 2018, ECRTS.

[9]  Alan Burns,et al.  Corrections to and Discussion of “Implementation and Evaluation of Mixed-criticality Scheduling Approaches for Sporadic Tasks” , 2017, ACM Trans. Embed. Comput. Syst..

[10]  Sanjoy K. Baruah,et al.  Scheduling Mixed-Criticality Implicit-Deadline Sporadic Task Systems upon a Varying-Speed Processor , 2014, 2014 IEEE Real-Time Systems Symposium.

[11]  Sanjoy K. Baruah,et al.  Mixed-criticality scheduling upon non-monitored varying-speed processors , 2013, 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES).

[12]  Alan Burns,et al.  Response Time Upper Bounds for Fixed Priority Real-Time Systems , 2008, 2008 Real-Time Systems Symposium.

[13]  Zhishan Guo,et al.  EDF Schedulability Analysis on Mixed-Criticality Systems with Permitted Failure Probability , 2015, 2015 IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications.

[14]  Insup Lee,et al.  Periodic resource model for compositional real-time guarantees , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

[15]  Giorgio C. Buttazzo,et al.  Multi-moded Resource Reservations , 2011, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.

[16]  Steve Vestal,et al.  Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance , 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

[17]  Alan Burns,et al.  Scheduling Mixed-Criticality Systems to Guarantee Some Service under All Non-erroneous Behaviors , 2016, 2016 28th Euromicro Conference on Real-Time Systems (ECRTS).

[18]  Sanjoy K. Baruah,et al.  Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks , 2004, Real-Time Systems.

[19]  Giuseppe Lipari,et al.  Resource partitioning among real-time applications , 2003, 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings..

[20]  Alan Burns,et al.  Mixed critical system design and analysis , 2012, EMSOFT '12.

[21]  Giorgio C. Buttazzo,et al.  Integrating multimedia applications in hard real-time systems , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[22]  Giorgio C. Buttazzo,et al.  Sensitivity analysis for fixed-priority real-time systems , 2006, 11th IEEE Real Time and Embedded Technology and Applications Symposium.

[23]  Laurent George,et al.  A C-space sensitivity analysis of Earliest Deadline First scheduling , 2007, ISoLA.

[24]  Sanjoy K. Baruah,et al.  Mixed-Criticality Scheduling upon Varying-Speed Multiprocessors , 2014, 2014 IEEE 12th International Conference on Dependable, Autonomic and Secure Computing.

[25]  Sanjoy K. Baruah,et al.  The concurrent consideration of uncertainty in WCETs and processor speeds in mixed-criticality systems , 2015, RTNS.

[26]  Lothar Thiele,et al.  Real-time calculus for scheduling hard real-time systems , 2000, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353).

[27]  Alan Burns,et al.  Response-Time Analysis for Mixed Criticality Systems , 2011, 2011 IEEE 32nd Real-Time Systems Symposium.

[28]  Sanjoy K. Baruah.  Schedulability analysis of mixed-criticality systems with multiple frequency specifications , 2016, 2016 International Conference on Embedded Software (EMSOFT).