Stochastic Metrics for Debugging the Timing Behaviour of Real-Time Systems

Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour of real-time systems. However, as they can not avoid all the timing bugs in the implementation, they must be combined with measurement techniques in order to gain more confidence in the implemented system. In this paper, a set of tools to measure, analyze and visualize traces of real-time systems is presented. These tools are driven by stochastic models. In order to find bugs in the timing behaviour of the system, two metrics, called "pessimism" and "optimism", are proposed. They are based on two random variables, the optimistic and the pessimistic execution time, which are also introduced in this paper. These metrics are used in the debugging tools to compare the model and the measured system in order to find errors. The metrics are examined in three case studies

[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]  Petru Eles,et al.  Memory and time-efficient schedulability analysis of task sets with stochastic execution time , 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.

[3]  David B. Stewart,et al.  A Tool for Analyzing and Fine Tuning the Real-Time Properties of an Embedded System , 2003, IEEE Trans. Software Eng..

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

[5]  Joaquín Entrialgo,et al.  Measurement-based analysis of real-time posix applications , 2003, ICSE 2003.

[6]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

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

[8]  Stefan M. Petters.  Worst case execution time estimation for advanced processor architectures , 2002 .

[9]  Guillem Bernat,et al.  Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis , 2003, RTCSA.

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

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

[12]  蔡進發,et al.  Monitoring and Debugging Distributed Real-Time Systems , 1993 .

[13]  Jeffrey J. P. Tsai,et al.  Distributed Real-Time Systems: Monitoring, Visualization, Debugging, and Analysis , 1996 .

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