Configurable-by-construction runtime monitoring
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed
Contributors
Abstract
Most modern systems, be it cyber-physical or mere software systems, are highly configurable. The main challenge when dealing with such configurable systems stems from the usually huge number of system variants that can be exponential in the number of configuration options or features. Monitoring systems that react on observations, e.g., sensor data, varying across system configurations or being themselves configurable also face this challenge but have barely been considered in the literature. In this paper, we discuss new aspects for runtime monitoring with variability in the system being monitored as well as the monitor itself. As a first step towards a configurable-by-construction runtime monitoring approach, we introduce configurable monitors from an automata-theoretic and stream-based perspective. For this, we harvest existing work on featured transition systems and present a variability-aware variant of the stream-based specification language Lola.
Details
Original language | English |
---|---|
Title of host publication | Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles |
Editors | Tizianaq Margaria, Bernhard Steffen |
Publisher | Springer, Berlin [u. a.] |
Pages | 220–241 |
Number of pages | 22 |
ISBN (electronic) | 978-3-031-19849-6 |
ISBN (print) | 978-3-031-19848-9 |
Publication status | Published - 1 Oct 2022 |
Peer-reviewed | No |
Publication series
Series | Lecture Notes in Computer Science, Volume 13701 |
---|---|
Volume | 13701 LNCS |
ISSN | 0302-9743 |
External IDs
Scopus | 85142723385 |
---|