Configurable-by-construction runtime monitoring

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragen

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

OriginalspracheEnglisch
TitelLeveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Redakteure/-innenTizianaq Margaria, Bernhard Steffen
Herausgeber (Verlag)Springer, Berlin [u. a.]
Seiten220–241
Seitenumfang22
ISBN (elektronisch)978-3-031-19849-6
ISBN (Print)978-3-031-19848-9
PublikationsstatusVeröffentlicht - 1 Okt. 2022
Peer-Review-StatusNein

Publikationsreihe

ReiheLecture Notes in Computer Science, Volume 13701
Band13701 LNCS
ISSN0302-9743

Externe IDs

Scopus 85142723385

Schlagworte

Bibliotheksschlagworte