Mixed-Criticality Scheduling with Limited HI-Criticality Behaviors

Due to size, weight, and power considerations, there is an emerging trend in real-time embedded systems design towards implementing functionalities of different levels of importance upon a shared platform, or implementing Mixed-Criticality (MC) systems. Much existing work on MC scheduling focuses on the classic Vestal model, where upon a mode switch, it is pessimistically assumed that all tasks may simultaneously exceed their less pessimistic execution time estimations, or lo-WCETs. In this paper, a less pessimistic MC model is proposed for system designers to specify the maximum number of tasks that may simultaneously exceed their lo-WCETs. The applicability and schedulability of the classic EDF-VD scheduler under this newly proposed model are studied, and a new schedulability test is presented. Experiments demonstrate that, by applying the proposed model and new schedulability test, significantly better schedulability can be achieved.

[1]  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.

[2]  Liliana Cucu-Grosjean,et al.  Independence - a misunderstood property of and for probabilistic real-­‐time systems , 2013 .

[3]  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.

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

[5]  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).

[6]  Gabriel A. Moreno,et al.  Statistical-Based WCET Estimation and Validation , 2009, WCET.

[7]  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.

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

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

[10]  Jane W.-S. Liu.  Real-Time Systems , 2000, Encyclopedia of Algorithms.

[11]  Sanjoy K. Baruah,et al.  MC-Fluid: Simplified and Optimally Quantified , 2015, 2015 IEEE Real-Time Systems Symposium.

[12]  S. Vestal.  Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance , 2007, RTSS 2007.

[13]  Sanjoy Baruah,et al.  Mixed criticality schedulability analysis is highly intractable , 2009 .

[14]  Zhishan Guo,et al.  A Sensitivity Analysis for Mixed Criticality: Trading Criticality with Computational Resource , 2018, 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA).

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

[16]  Nuno Pereira,et al.  Static-Priority Scheduling over Wireless Networks with Multiple Broadcast Domains , 2007, RTSS 2007.

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