Runtime monitoring validates a system against a formal specification at runtime. It is a crucial step in assuring the correct behaviour of cyber-physical systems and asserting their compliance with safety regulations.

In our research, we develop formal specification languages for monitoring, algorithms for the synthesis of resource-efficient and correct-by-construction monitors, and domain-specific solutions for autonomous cyber-physical systems. At the center of our research is the stream-based runtime monitoring framework RTLola. RTLola processes, evaluates, and aggregates streams of input data, such as sensor readings, and provides real-time analysis in the form of comprehensive statistics and logical assessments of the system’s health. Every specification is analyzed rigorously before its deployment, eliminating undefined behavior during runtime. This process includes determining the validity of the specification and its memory requirement. Plus, the constant memory guarantee effectively allows the monitor to run indefinitely. RTLola is used by leading avionics experts like the German Aerospace Center.