Runtime Monitoring of Time-Sensitive Systems

[Tutorial Supplement]
  • Borzoo Bonakdarpour
  • Sebastian Fischmeister
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7186)


This tutorial focuses on issues involved in runtime monitoring of time-sensitive systems, where violation of timing constraints are undesired. Our goal is to describe the challenges in instrumenting, measuring, and monitoring such systems and present our solutions developed in the past few years to deal with these challenges. The tutorial consists of two parts. First, we present challenge problems and corresponding solutions on instrumenting real-time systems so that timing constraints of the system are respected. The second part of the tutorial will focus on time-triggered runtime monitoring, where a monitor is invoked at equal time intervals, allowing designers to schedule regular and monitoring tasks hand-in-hand.


Execution Time Basic Block Time Budget Execution Path Adaptive Cruise Control 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bonakdarpour, B., Navabpour, S., Fischmeister, S.: Sampling-Based Runtime Verification. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 88–102. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  2. 2.
    Carré, B., Garnsworthy, J.: SPARK—an annotated Ada subset for safety-critical programming. In: Proceedings of the Conference on TRI-ADA, pp. 392–402. ACM, New York (1990)CrossRefGoogle Scholar
  3. 3.
    Charette, R.N.: This Car Runs on Code. IEEE Spectrum (2009)Google Scholar
  4. 4.
    de Kock, H.: small-ffs (September 2009),
  5. 5.
    Dobbing, B., Burns, A.: The Ravenscar Tasking Profile for High Integrity Real-time Programs. In: Proceedings of the 1998 Annual ACM SIGAda International Conference on Ada (SIGAda), pp. 1–6. ACM, New York (1998)CrossRefGoogle Scholar
  6. 6.
    Fischmeister, S., Ba, Y.: Sampling-based Program Execution Monitoring. In: ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), pp. 133–142 (2010)Google Scholar
  7. 7.
    Fischmeister, S., Lam, P.: On Time-Aware Instrumentation of Programs. In: Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), San Fransisco, United States, pp. 305–314 (April 2009)Google Scholar
  8. 8.
    Fischmeister, S., Lam, P.: Time-aware Instrumentation of Embedded Software. IEEE Transactions on Industrial Informatics (2010)Google Scholar
  9. 9.
    Guthaus, M.R., Ringenberg, J.S., Ernst, D., Austin, T.M., Mudge, T., Brown, R.B.: MiBench: A free, commercially representative embedded benchmark suite. In: IEEE International Workshop on In Workload Characterization (WWC), pp. 3–14 (2001)Google Scholar
  10. 10.
    Kopetz, H.: Event-Triggered Versus Time-Triggered Real-Time Systems. In: Karshmer, A.I., Nehmer, J. (eds.) Dagstuhl Seminar 1991. LNCS, vol. 563, pp. 87–101. Springer, Heidelberg (1991)CrossRefGoogle Scholar
  11. 11.
    Li, M., Achteren, T.V., Brockmeyer, E., Catthoor, F.: Statistical Performance Analysis and Estimation of Coarse Grain Parallel Multimedia Processing System. In: Proc. of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 277–288. IEEE Computer Society, Washington, DC (2006)Google Scholar
  12. 12.
    McCall, G.: Misra-C: 2004. MIRA Limited, Warwickshire (2004)Google Scholar
  13. 13.
    Mok, A.: Firm Real-time Systems. ACM Comput. Surv. 28 (December 1996)Google Scholar
  14. 14.
    Natarajan, S.: Imprecise and Approximate Computation. Kluwer Academic Publishers, Norwell (1995)zbMATHCrossRefGoogle Scholar
  15. 15.
    Navabpour, S., Wu, C.W.W., Bonakdarpour, B., Fischmeister, S.: Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 208–222. Springer, Heidelberg (2012)Google Scholar
  16. 16.
    Radio Technical Commission for Aeronautics (RTCA). Software Considerations in Airborne Systems and Equipment Certification (December 1992)Google Scholar
  17. 17.
    Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, J., Stenström, P.: The Worst-case Execution-time Problem—Overview of Methods and Survey of Tools. Trans. on Embedded Computing Sys. 7(3), 1–53 (2008)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Borzoo Bonakdarpour
    • 1
  • Sebastian Fischmeister
    • 1
  1. 1.University of WaterlooWaterlooCanada

Personalised recommendations