Skip to main content

Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis

  • Conference paper
Real-Time and Embedded Computing Systems and Applications (RTCSA 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2968))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 1003.13-1998 IEEE Standard for Information Technology–Standardized Application Environment Profile (AEP)—POSIX Realtime Application Support [0- 7381-0178-8]

    Google Scholar 

  2. 1003.1TM Standard for Information Technology—Portable Operating System Interface (POSIX). IEEE Std. 1003.1-2001, Open Group Technical Standard Base Specifications, Issue 6

    Google Scholar 

  3. Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science 126(2), 183–236 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  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 

  6. Bates, P.: Debugging heterogeneous distributed systems using event-based models of behavior. ACM TransactIons on Computer Systems 13(1), 1–31 (1995)

    Article  Google Scholar 

  7. Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A Theory of Communicating Sequential Processes. Journal of the ACM 31(3), 560–599 (1984)

    Article  MATH  MathSciNet  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 

  9. McLean, J.: A formal method for the abstract specification of software. Journal of the ACM 31(3), 600–627 (1984)

    Article  MATH  Google Scholar 

  10. Stewart, D.B., Schmitz, D.E., Khosla, P.K.: The Chimera II real-time operating system for advanced sensor-based control applications. IEEE Transactions on Systems, Man, and Cybernetics 22(6), 1282–1295 (1992)

    Article  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 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Terrasa, A., Bernat, G. (2004). Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis. In: Chen, J., Hong, S. (eds) Real-Time and Embedded Computing Systems and Applications. RTCSA 2003. Lecture Notes in Computer Science, vol 2968. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24686-2_29

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24686-2_29

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21974-3

  • Online ISBN: 978-3-540-24686-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics