Runtime Monitoring of Time-sensitive Systems —- Tutorial Supplement

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

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.

Year of Publication
Conference Name
Proc. of the 2nd International Conference on Runtime Verification (RV)
Conference Location
San Francisco, USA
Download citation