Robust monitoring for medical cyber-physical systems

Finkbeiner, Bernd; Keller, Andreas; Schmidt, Jessica; Schwenger, Maximilian

doi:10.1145/3446913.3460318

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2021

2024

Publication Types

Select...

Book4

Article1

Relationship

Self Cite1

Independent4

Authors

Journals

Cited by 5 publications

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

A Tutorial on Stream-Based Monitoring

Baumeister,

Finkbeiner,

Kohn

et al. 2024

Lecture Notes in Computer Science

View full text Add to dashboard Cite

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.

show abstract