EDF Schedulability Analysis on Mixed-Criticality Systems with Permitted Failure Probability

Many safety critical real-time systems are considered certified when they meet failure probability requirements with respect to the maximum permitted incidences of failure per hour. In this paper, the mixed-criticality task model with multiple worst case execution time (WCET) estimations is extended to incorporate such system-level certification restrictions. A new parameter is added to each task, characterizing the distribution of the WCET estimations -- the likelihood of all jobs of a task finishing their executions within the less pessimistic WCET estimate. An efficient algorithm named LFF-Clustering is derived for scheduling mixed-criticality systems represented by this model. Experimental analyses show our new model and algorithm out-perform current state-of-the-art mixed-criticality scheduling algorithms.

[1]  Liliana Cucu-Grosjean,et al.  PROARTIS: Probabilistically Analysable Real-Time Systems , 2012 .

[2]  Alan Burns,et al.  Statistical analysis of WCET for scheduling , 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).

[3]  Liliana Cucu-Grosjean,et al.  Response Time Analysis for Fixed-Priority Tasks with Multiple Probabilistic Parameters , 2013, 2013 IEEE 34th Real-Time Systems Symposium.

[4]  Reinhold Heckmann,et al.  Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation , 2007 .

[5]  Jakob Engblom,et al.  The worst-case execution-time problem—overview of methods and survey of tools , 2008, TECS.

[6]  Giorgio C. Buttazzo,et al.  Measuring the Performance of Schedulability Tests , 2005, Real-Time Systems.

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

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

[9]  Liliana Cucu-Grosjean,et al.  A Statistical Response-Time Analysis of Real-Time Embedded Systems , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.

[10]  Guillem Bernat,et al.  pWCET: a Tool for Probabilistic Worst-Case Execution Time Analysis of Real-Time Systems , 2003 .

[11]  Chang-Gun Lee,et al.  Stochastic analysis of periodic real-time systems , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

[12]  Francisco J. Cazorla,et al.  DTM: Degraded Test Mode for Fault-Aware Probabilistic Timing Analysis , 2013, 2013 25th Euromicro Conference on Real-Time Systems.

[13]  Isabelle Puaut,et al.  Static determination of probabilistic execution times , 2004, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004..

[14]  Liliana Cucu-Grosjean,et al.  PROARTIS: Probabilistically Analyzable Real-Time Systems , 2013, TECS.

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

[16]  Lothar Thiele,et al.  Resource adaptations with servers for hard real-time systems , 2010, EMSOFT '10.

[17]  Jérôme Morio,et al.  On the Sustainability of the Extreme Value Theory for WCET Estimation , 2014, WCET.

[18]  John P. Lehoczky,et al.  Quantized EDF scheduling in a stochastic environment , 2002, Proceedings 16th International Parallel and Distributed Processing Symposium.

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

[20]  Liliana Cucu-Grosjean,et al.  Measurement-Based Probabilistic Timing Analysis for Multi-path Programs , 2012, 2012 24th Euromicro Conference on Real-Time Systems.

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

[22]  Giorgio C. Buttazzo,et al.  QoS guarantee using probabilistic deadlines , 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

[23]  Neil C. Audsley,et al.  On priority assignment in fixed priority scheduling , 2001, Inf. Process. Lett..

[24]  Damien Hardy,et al.  Static probabilistic worst case execution time estimation for architectures with faulty instruction caches , 2013, RTNS.

[25]  Jun Sun,et al.  Probabilistic performance guarantee for real-time tasks with varying computation times , 1995, Proceedings Real-Time Technology and Applications Symposium.

[26]  Alessandra Melani,et al.  Learning from probabilities: Dependences within real-time systems , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).

[27]  R. Rajkumar,et al.  Optimal partitioning for quantized EDF scheduling , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

[28]  Alan Burns,et al.  Realism in Statistical Analysis of Worst Case Execution Times , 2010, WCET.

[29]  Petru Eles,et al.  Schedulability analysis of applications with stochastic task execution times , 2004, TECS.

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

[31]  John P. Lehoczky.  Real-time queueing theory , 1996, 17th IEEE Real-Time Systems Symposium.

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

[33]  Jane W.-S. Liu,et al.  Analyzing Stochastic Fixed-Priority Real-Time Systems , 1999, TACAS.

[34]  Liliana Cucu-Grosjean,et al.  Analysis of Probabilistic Cache Related Pre-emption Delays , 2013, 2013 25th Euromicro Conference on Real-Time Systems.

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