|Title||Runtime Monitoring of Time-sensitive Systems --- Tutorial Supplement|
|Publication Type||Conference Paper|
|Year of Publication||2011|
|Authors||Bonakdarpour, B., and S. Fischmeister|
|Conference Name||Proc. of the 2nd International Conference on Runtime Verification (RV)|
|Conference Location||San 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.