Time-triggered runtime verification aims to maximize predictability of the monitoring systems and thus tries to enable an engineerable solution for runtime monitoring.
Runtime verification is a formal technique used to check whether a program under inspection satisfies its specification by using a runtime monitor. The monitor traditionally uses one of two ways for evaluating a set of logical properties: (1) event-triggered, where the monitor is triggered when the state of the program changes, and (2) time-triggered, where a monitor periodically reads the state of the program. Realizing the former is straightforward, but the runtime behaviour of event-triggered monitors are difficult to predict. Time-triggerd monitoring, on the other hand, provides predictable monitoring behaviour and strict overhead bounds at run time.
Opportunities
Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.