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.
Projects - search
Filter by:
Time-triggered runtime verification aims to maximize predictability of the monitoring systems and thus tries to enable an engineerable solution for runtime monitoring.