Tools and Stochastic Metrics for Debugging Temporal Behaviour of Real-Time Systems

In real-time systems, temporal behaviour is as important as functional behaviour, so several techniques have been especially developed for these systems. Stochastic analysis techniques model the execution time of tasks as random variables and constitute a very powerful tool to study the temporal behaviour of real-time sys- tems. 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. This paper presents a monitoring tool which can measure real-time systems developed using POSIX. The corresponding analysis and a visualiza- tion tool that makes it possible to find errors easily is also introduced. In order to find bugs in the timing behaviour of the system when an stochastic analysis technique is used, 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 four case studies.

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

[2]  E. K. Gannett,et al.  THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS , 1965 .

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

[4]  Guangtian Liu,et al.  Efficient Run-time Monitoring Of Timing Constraints , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

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

[6]  Chinya V. Ravishankar,et al.  Monitoring and debugging distributed realtime programs , 1992, Softw. Pract. Exp..

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

[8]  Joaquín Entrialgo,et al.  Stochastic Metrics for Debugging the Timing Behaviour of Real-Time Systems , 2007, 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07).

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

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

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

[12]  David N. Wilner.  WindView: a tool for understanding real-time embedded software through system vizualization , 1995 .

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

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

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

[16]  Daniel Sundmark,et al.  Replay debugging of real-time systems using time machines , 2003, Proceedings International Parallel and Distributed Processing Symposium.

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

[18]  Marc Donner,et al.  Run-time monitoring of real-time systems , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

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

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

[21]  Ragunathan Rajkumar,et al.  Monitoring timing constraints in distributed real-time systems , 1992, [1992] Proceedings Real-Time Systems Symposium.

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

[23]  Patrick Lambrix,et al.  High Level Tools for the Debugging of Real-Time Multiprocessor Systems , 1993, Fifth Euromicro Workshop on Real-Time Systems.

[24]  Edgar Nett,et al.  JewelNT: Monitoring of Distributed Real-Time Applications on Windows NT , 1999 .

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

[26]  Thomas J. LeBlanc,et al.  Debugging Parallel Programs with Instant Replay , 1987, IEEE Transactions on Computers.