|Title||Reducing Monitoring Overhead by Integrating Event- and Time-triggered Techniques|
|Publication Type||Conference Paper|
|Year of Publication||2013|
|Authors||Wu, W., D. Kumar, B. Bonakdarpour, and S. Fischmeister|
|Conference Name||Proc. of the International Conference on Runtime Verification (RV)|
Runtime verification is a formal technique used to check whether a program under inspection satisfies its specification by using a runtime monitor. Existing monitoring approaches use one of two ways for evaluating a set of logical properties: (1) event-triggered, where the program invokes the monitor when the state of the program changes, and (2) time-triggered, where the monitor periodically preempts the program and reads its state. Realizing the former is straightforward, but the runtime behaviour of event-triggered monitors are difficult to predict. Time-triggered monitoring (designed for real-time embedded systems), on the other hand, provides predictable monitoring behavior and overhead bounds at run time. Our previous work shows that time-triggered monitoring can potentially reduce the runtime overhead provided that the monitor samples the program state at a low frequency.