Mixed Criticality Scheduling of Probabilistic Real-Time Systems

In this paper we approach the problem of Mixed Criticality (MC) for probabilistic real-time systems where tasks execution times are described with probabilistic distributions. In our analysis, the task enters high criticality mode if its response time exceeds a certain threshold, which is a slight deviation from a more classical approach in MC. We do this to obtain an application oriented MC system in which criticality mode changes depend on actual scheduled execution. This is in contrast to classical approaches which use task execution time to make criticality mode decisions, because execution time is not affected by scheduling while the response time is. We use a graph-based approach to seek for an optimal MC schedule by exploring every possible MC schedule the task set can have. The schedule we obtain minimizes the probability of the system entering high criticality mode. In turn, this aims at maximizing the resource efficiency by the means of scheduling without compromising the execution of the high criticality tasks and minimizing the loss of lower criticality functionality. The proposed approach is applied to test cases for validation purposes.

[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]  Jérôme Morio,et al.  Revising Measurement-Based Probabilistic Timing Analysis , 2017, 2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

[3]  Rany Kahil,et al.  Algorithmic Complexity of Correctness Testing in MC-Scheduling , 2018, RTNS.

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

[5]  Liliana Cucu-Grosjean,et al.  A component-based framework for modeling and analyzing probabilistic real-time systems , 2011, ETFA2011.

[6]  Patrick Meumeu Yomsi,et al.  The Challenge of Time-Predictability in Modern Many-Core Architectures , 2014, WCET.

[7]  Chenyang Lu,et al.  MCFlow: A Real-Time Multi-core Aware Middleware for Dependent Task Graphs , 2012, 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.

[8]  Shujuan Huang,et al.  A new scheduling approach for mix-criticality real-time system , 2013, 2013 Fourth International Conference on Intelligent Control and Information Processing (ICICIP).

[9]  Liliana Cucu-Grosjean,et al.  Probabilistic analysis for mixed criticality systems using fixed priority preemptive scheduling , 2017, RTNS.

[10]  Chang-Gun Lee,et al.  An exact stochastic analysis of priority-driven periodic real-time systems and its approximations , 2005, IEEE Transactions on Computers.

[11]  Sanjoy K. Baruah,et al.  An Algorithm for Scheduling Certifiable Mixed-Criticality Sporadic Task Systems , 2010, 2010 31st 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]  Laura Carnevali,et al.  Oris: a tool for modeling, verification and evaluation of real-time systems , 2010, International Journal on Software Tools for Technology Transfer.

[14]  Luca Santinelli.  Probabilities and Mixed-Criticalities : the Probabilistic C-Space , 2015 .

[15]  Robert I. Davis.  On the Meaning of pWCET Distributions and their use in Schedulability Analysis , 2017 .

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

[17]  Sathish Gopalakrishnan,et al.  A Risk-Constrained Markov Decision Process Approach to Scheduling Mixed-Criticality Job Sets , 2016 .

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

[19]  Sathish Gopalakrishnan,et al.  Risk-Aware Scheduling of Dual Criticality Job Systems Using Demand Distributions , 2018, Leibniz Trans. Embed. Syst..

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

[21]  T. T. Soong,et al.  Fundamentals of Probability and Statistics for Engineers , 2004 .

[22]  Wang Yi,et al.  The Digraph Real-Time Task Model , 2011, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.