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