Efficient Stochastic Analysis of Real-Time Systems via Random Sampling

This paper provides a stochastic approach to the analysis of real-time systems under preemptive priority-driven scheduling. The main idea is to simplify the execution time distributions via random sampling to decrease complexity. This beneficial effect is counterbalanced by an increase in pessimism. However, the proposed analysis is significantly less pessimistic than the classical worst-case deterministic analysis. In addition, it could be tuned according to the memory and time availability. Thus, the proposed method provides, for the first time, a relation between pessimism and computational resources. The testing results show the effectiveness of the sampling approach in terms of practicality and optimism.

[1]  Lucia Lo Bello,et al.  Pessimism in the stochastic analysis of real-time systems: concept and applications , 2004, 25th IEEE International Real-Time Systems Symposium.

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

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

[4]  Mark K. Gardner,et al.  Probabilistic analysis and scheduling of critical soft real-time systems , 1999 .

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

[6]  Guillem Bernat,et al.  WCET analysis of probabilistic hard real-time systems , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

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

[8]  John P. Lehoczky,et al.  Fixed priority scheduling of periodic task sets with arbitrary deadlines , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[9]  Petru Eles,et al.  Real-time applications with stochastic task execution times - analysis and optimisation , 2007 .

[10]  Daniel W. Lewis.  Fundamentals of Embedded Software with the Arm Cortex-M3 , 2012 .

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

[12]  L. Abeni,et al.  Stochastic analysis of a reservation based system , 2001, Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001.

[13]  Alan Burns,et al.  An extendible approach for analyzing fixed priority hard real-time tasks , 1994, Real-Time Systems.

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