Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
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)
Charette, R.N.: This Car Runs on Code. IEEE Spectrum (2009)
de Kock, H.: small-ffs (September 2009), http://code.google.com/p/small-ffs
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)
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)
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)
Fischmeister, S., Lam, P.: Time-aware Instrumentation of Embedded Software. IEEE Transactions on Industrial Informatics (2010)
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)
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)
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)
McCall, G.: Misra-C: 2004. MIRA Limited, Warwickshire (2004)
Mok, A.: Firm Real-time Systems. ACM Comput. Surv. 28 (December 1996)
Natarajan, S.: Imprecise and Approximate Computation. Kluwer Academic Publishers, Norwell (1995)
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)
Radio Technical Commission for Aeronautics (RTCA). Software Considerations in Airborne Systems and Equipment Certification (December 1992)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bonakdarpour, B., Fischmeister, S. (2012). Runtime Monitoring of Time-Sensitive Systems. In: Khurshid, S., Sen, K. (eds) Runtime Verification. RV 2011. Lecture Notes in Computer Science, vol 7186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29860-8_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-29860-8_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29859-2
Online ISBN: 978-3-642-29860-8
eBook Packages: Computer ScienceComputer Science (R0)