On the Criticality of Probabilistic Worst-Case Execution Time Models

Probabilistic approaches to timing analysis derive probability distributions to upper bound task execution time. The main purpose of probability distributions instead of deterministic bounds, is to have more flexible and less pessimistic worst-case models. However, in order to guarantee safe probabilistic worst-case models, every possible execution condition needs to be taken into account.

[1]  Laurent George,et al.  Fault-aware sensitivity analysis for probabilistic real-time systems , 2016, 2016 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT).

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

[3]  Francisco J. Cazorla,et al.  Modelling Probabilistic Cache Representativeness in the Presence of Arbitrary Access Patterns , 2016, 2016 IEEE 19th International Symposium on Real-Time Distributed Computing (ISORC).

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

[5]  Jérôme Morio,et al.  Revising Measurement-Based Probabilistic Timing Analysis , 2017, 2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

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

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

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

[9]  Samar Abdi,et al.  Balancing system availability and lifetime with dynamic hidden Markov models , 2014, 2014 NASA/ESA Conference on Adaptive Hardware and Systems (AHS).

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

[11]  Tullio Vardanega,et al.  Heart of Gold: Making the Improbable Happen to Increase Confidence in MBPTA , 2014, 2014 26th Euromicro Conference on Real-Time Systems.

[12]  Liliana Cucu-Grosjean,et al.  Static probabilistic timing analysis for real-time systems using random replacement caches , 2014, Real-Time Systems.

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

[14]  George Lima,et al.  Extreme Value Theory for Estimating Task Execution Time Bounds: A Careful Look , 2016, 2016 28th Euromicro Conference on Real-Time Systems (ECRTS).

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

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

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

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

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

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

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

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

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

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

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