Runtime Monitoring of Time-sensitive Systems --- Tutorial Supplement

TitleRuntime Monitoring of Time-sensitive Systems --- Tutorial Supplement
Publication TypeConference Paper
Year of Publication2011
AuthorsBonakdarpour, B., and S. Fischmeister
Conference NameProc. of the 2nd International Conference on Runtime Verification (RV)
Conference LocationSan Francisco, USA

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.

Refereed DesignationRefereed
Related files: 


Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.