Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
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) |
Date Published | Sept |
Abstract | 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. |
Refereed Designation | Refereed |