Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis
Statically analyzing real-time systems normally involves a high degree of pessimism, but it is necessary in systems requiring 100% guarantee. However, lots of less critical systems would significantly benefit from combining such static analysis with empirical tests. Empirical tests are based on observing the system at run time and extracting information about its temporal behavior. In this sense, this paper presents a generic and extensible framework that permits the extraction of temporal properties of real-time systems by analyzing their run-time traces. The analysis is based on event-recognition finite state machines that compute the temporal properties with a computational cost of O(1) per observed event in most of the cases. The framework is instantiated in order to extract some typical temporal properties (such as computation time or response time of tasks), which can serve as a template to define new ones. Finally, the paper also shows how the framework can be implemented on a real system, exclusively using state-of-the-art technology; in particular, the Trace and Real-Time Extensions of the POSIX standard.
Unable to display preview. Download preview PDF.
- 4.Auguston, M.: Program Behavior Model Based on Event Grammar and its Application for Debugging Automation. In: Proc. of the 2nd Intl. Workshop on Automated and Algorithmic Debugging, Saint-Malo, France (May 1995)Google Scholar
- 5.Bartussek, A.W., Parnas, D.L.: Using traces to write abstract specifications for software modules. UNC Rep. TR 77-012, Univ. North Carolina, Chapel Hill (1977)Google Scholar
- 8.Klein, M.H., Ralya, T.: An analysis of input/output paradigms for real-time systems. Technical Report, Software Engineering Institute. CMU/SEI- 90-TR-19 (1990)Google Scholar
- 11.Terrasa, A., Pachés, I., Gacría-Fornes, A.: An Evaluation of the POSIX Trace standard implemented in RT-Linux. In: Proc. of the 2001 IEEE Intl. Symposium on Performance Analysis of Systems and Software, Tucson (AZ), pp. 30–37 (2001)Google Scholar
- 12.Wang, Y., Parnas, D.L.: Simulating the behaviour of software modules by trace rewriting. In: Proc. of the 15th Intl. Conference on Software Engineering, Baltimore (MA), May 1993, pp. 14–23 (1993)Google Scholar
- 13.Yodaiken, V.: An RT-Linux Manifesto. In: Proc. of the 5th Linux Expo, Raleigh, North Carolina (May 1999)Google Scholar