CISPA
Browse

A Tutorial on Stream-Based Monitoring

Download (892.26 kB)
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 explanation of technical details for the advanced reader. Finally, we discuss how runtime monitors generated from RTLola specifications can be integrated into a variety of systems and discuss different monitoring applications.

History

Editor

Platzer A ; Rozier KY ; Pradella M ; Rossi M

Primary Research Area

  • Reliable Security Guarantees

Name of Conference

Formal Methods (FM)

Journal

Lecture Notes in Computer Science

Volume

14934

Page Range

624-648

Publisher

Springer Nature

Open Access Type

  • Hybrid

BibTeX

@inproceedings{Baumeister:Finkbeiner:Kohn:Scheerer:2025, title = "A Tutorial on Stream-Based Monitoring", author = "Baumeister, Jan" AND "Finkbeiner, Bernd" AND "Kohn, Florian" AND "Scheerer, Frederik", editor = "Platzer, Andre" AND "Rozier, Kristin Yvonne" AND "Pradella, Matteo" AND "Rossi, Matteo", year = 2025, month = 1, journal = "Lecture Notes in Computer Science", pages = "624--648", publisher = "Springer Nature", issn = "1611-3349", doi = "10.1007/978-3-031-71177-0_33" }

Usage metrics

    Categories

    No categories selected

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC