Fault-aware sensitivity analysis for probabilistic real-time systems

In probabilistic real-time modeling, diverse task execution conditions can be characterized with probabilistic distributions, where multiple execution time thresholds are represented, each with an exceeding probability. Comparing to traditional deterministic real-time, probabilistic approaches provide more flexibility in system behavior modeling, which may result in more precise schedulability analysis. With this work, we combine sensitivity analysis and probabilistic models of fault effects on task execution behaviors. The goal is to develop probabilistic schedulability analysis that is applicable to both faulty and non-faulty execution conditions. While the probabilities accurately characterize faults and faults effects on worst-case execution times, the probabilistic schedulability analysis both qualifies and quantifies faults impacts on system schedulability.

[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.  Measurement-Based Probabilistic Timing Analysis for Multi-path Programs , 2012, 2012 24th Euromicro Conference on Real-Time Systems.

[3]  Lucia Lo Bello,et al.  Deriving exact stochastic response times of periodic tasks in hybrid priority-driven soft real-time systems , 2007, 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007).

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

[5]  Liliana Cucu-Grosjean,et al.  A Probabilistic Calculus for Probabilistic Real-Time Systems , 2015, ACM Trans. Embed. Comput. Syst..

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

[7]  Sanjoy K. Baruah,et al.  Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor , 1990, Real-Time Systems.

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

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

[10]  Hing Choi Wong.  Schedulability Analysis for the Abort-and-Restart (AR) Model , 2014, RTNS '14.

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

[12]  Jérôme Morio,et al.  On the Reliability of the Probabilistic Worst-Case Execution Time Estimates , 2016 .

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

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

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

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

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

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

[19]  Jérôme Hugues,et al.  Static probabilistic timing analysis in presence of faults , 2016, 2016 11th IEEE Symposium on Industrial Embedded Systems (SIES).

[20]  Risat Mahmud Pathan.  Fault-tolerant and real-time scheduling for mixed-criticality systems , 2014, Real-Time Systems.