A Tutorial on Stream-based Monitoring
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik, Scheerer

TL;DR
This paper introduces RTLola, a stream-based runtime monitoring framework for cyber-physical systems, demonstrating its application in autonomous drone monitoring and providing a comprehensive tutorial for users.
Contribution
It offers a detailed tutorial on RTLola, including language features, specification patterns, and integration methods, advancing practical understanding of stream-based monitoring.
Findings
RTLola effectively monitors autonomous systems like unmanned aircraft.
The tutorial demonstrates real-time analysis and system health assessment.
RTLola specifications can be integrated into diverse cyber-physical systems.
Abstract
Stream-based runtime monitoring frameworks are safety assurance tools that check the runtime behavior of a system against a formal specification. This tutorial provides a hands-on introduction to RTLola, a real-time monitoring toolkit for cyber-physical systems and networks. RTLola processes, evaluates, and aggregates streams of input data, such as sensor readings, and provides a real-time analysis in the form of comprehensive statistics and logical assessments of the system's health. RTLola has been applied successfully in monitoring autonomous systems such as unmanned aircraft. The tutorial guides the reader through the development of a stream-based specification for an autonomous drone observing other flying objects in its flight path. Each tutorial section provides an intuitive introduction, highlighting useful language features and specification patterns, and gives a more in-depth…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
