Projects for the topic runtime verification

Current projects

The tool RiTHM (Runtime Time-triggered Heterogeneous Monitoring) is a prototype implementation of the group's work on runtime monitoring including work on time-triggered monitoring, power-aware monitoring, and accelerator technology for monitoring.

Time-triggered runtime verification aims to maximize predictability of the monitoring systems and thus tries to enable an engineerable solution for runtime monitoring.