Configurable-by-construction runtime monitoring
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen
Beitragende
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
Originalsprache | Englisch |
---|---|
Titel | Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles |
Redakteure/-innen | Tizianaq Margaria, Bernhard Steffen |
Herausgeber (Verlag) | Springer, Berlin [u. a.] |
Seiten | 220–241 |
Seitenumfang | 22 |
ISBN (elektronisch) | 978-3-031-19849-6 |
ISBN (Print) | 978-3-031-19848-9 |
Publikationsstatus | Veröffentlicht - 1 Okt. 2022 |
Peer-Review-Status | Nein |
Publikationsreihe
Reihe | Lecture Notes in Computer Science, Volume 13701 |
---|---|
Band | 13701 LNCS |
ISSN | 0302-9743 |
Externe IDs
Scopus | 85142723385 |
---|