A Statistical Response-Time Analysis of Real-Time Embedded Systems

Real-time embedded systems are becoming ever more complex. We are reaching the stage where even if static Response-Time Analysis (RTA) was feasible from a cost and technical perspective, the results of such an analysis are overly pessimistic. This makes them less useful to the practitioner. In addition, the temporal validation and verification of such systems in some applications, e.g., aeronautics, requires the probability of obtaining a worst-case response time larger than a given value in order to support dependable system functions. All these facts advocate moving toward statistical RTA, which instead of calculating absolute worst-case timing guarantees, computes a probabilistic worst-case response time estimate. The contribution of this paper is to present and evaluate such a statistical RTA technique which uses a black box view of the systems under analysis, by not requiring estimates of parameters such as worst-case execution times of tasks. Furthermore, our analysis is applicable to real systems that are complex, e.g., from a task dependencies perspective.

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

[2]  Liliana Cucu-Grosjean.  Probabilistic real-time schedulability: from uniprocessor to multiprocessor when the execution times are uncertain , 2009 .

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

[4]  Johan Kraft.  RTSSim - A Simulation Framework for Complex Embedded Systems , 2009 .

[5]  Pierre-Emmanuel Hladik,et al.  Efficient Stochastic Analysis of Real-Time Systems via Random Sampling , 2010, 2010 22nd Euromicro Conference on Real-Time Systems.

[6]  Alan Burns,et al.  A Probabilistic Framework for Schedulability Analysis , 2003, EMSOFT.

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

[8]  Liliana Cucu-Grosjean,et al.  RapidRT : A Tool For Statistical Response-Time Analysis of Complex Industrial Real-Time Embedded Systems , 2011, RTSS 2011.

[9]  Johan Kraft,et al.  Enabling Timing Analysis of Complex Embedded Software Systems , 2010 .

[10]  Joaquín Entrialgo,et al.  Stochastic analysis of real-time systems under preemptive priority-driven scheduling , 2008, Real-Time Systems.

[11]  Thomas Nolte,et al.  Using Components to Facilitate Stochastic Schedulability Analysis , 2003 .

[12]  Thomas H. Cormen,et al.  Introduction to algorithms [2nd ed.] , 2001 .

[13]  Thomas Nolte,et al.  A Statistical Approach to Response-Time Analysis of Complex Real-Time Embedded Systems , 2010, RTCSA 2010.

[14]  Yue Lu,et al.  Pragmatic Approaches for Timing Analysis of Real-Time Embedded Systems , 2012 .

[15]  R. Bell,et al.  IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[16]  Yue Lu,et al.  A Statistical Approach to Response-Time Analysis of Complex Embedded Real-Time Systems , 2010, 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications.

[17]  Daniel Zwillinger,et al.  CRC Standard Probability and Statistics Tables and Formulae, Student Edition , 1999 .

[18]  H. J. Arnold.  Introduction to the Practice of Statistics , 1990 .

[19]  Daniel Zwillinger,et al.  Probability and statistics , 2011 .

[20]  Thomas Nolte,et al.  An Evaluation Framework for Complex Industrial Real-Time Embedded Systems , 2012 .

[21]  E. Ziegel.  Introduction to the Practice of Statistics (2nd ed.) , 1994 .

[22]  Stephen M. Stigler,et al.  Fisher and the 5% Level , 2008 .

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

[24]  Alan Burns,et al.  An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems , 2003, Real-Time Systems.

[25]  Anders Wall,et al.  A Metaheuristic Approach for Best Effort Timing Analysis Targeting Complex Legacy Real-Time Systems , 2008, 2008 IEEE Real-Time and Embedded Technology and Applications Symposium.

[26]  Jukka Mäki-Turja,et al.  Efficient implementation of tight response-times for tasks with offsets , 2008, Real-Time Systems.

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

[28]  Scott F. Midkiff,et al.  Real-time queueing theory: A tutorial presentation with an admission control application , 2000, Queueing Syst. Theory Appl..

[29]  Joseph Y.-T. Leung,et al.  Handbook of Real-Time and Embedded Systems , 2007 .

[30]  Stéphane Girard,et al.  A Goodness-of-fit Test for the Distribution Tail , 2007 .

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

[32]  Azer Bestavros,et al.  Statistical rate monotonic scheduling , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

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

[34]  Averill M. Law,et al.  Simulation Modeling and Analysis , 1982 .

[35]  Yue Lu,et al.  Simulation-Based Timing Analysis of Complex Real-Time Systems , 2009, 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.