13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07) (2007)
Apr. 3, 2007 to Apr. 6, 2007
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTAS.2007.36
Joaquin Entrialgo , Campus de Viesques, Spain
Javier Garcia , Campus de Viesques, Spain
Jose Luis Diaz , Campus de Viesques, Spain
Daniel Fernando Garcia , Campus de Viesques, Spain
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.
J. L. Diaz, J. Entrialgo, J. Garcia and D. F. Garcia, "Stochastic Metrics for Debugging the Timing Behaviour of Real-Time Systems," 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07)(RTAS), Bellevue, Washington, 2007, pp. 183-192.