Configuration Monitor Synthesis
Maximilian A. K\"ohl, Clemens Dubslaff, Holger Hermanns

TL;DR
This paper presents a modular approach to synthesize configuration monitors from system models, capable of handling partial observability, network issues, and future behavior prediction, unifying existing monitoring and diagnosis methods.
Contribution
It introduces a novel, flexible pipeline for automata-based configuration monitor synthesis from featured transition systems, extending to partial observability and predictive monitoring.
Findings
Effective synthesis demonstrated on community benchmarks.
Unifies runtime monitoring and fault diagnosis approaches.
Handles partial observability and network-induced losses.
Abstract
The observable behavior of a system usually carries useful information about its internal state, properties, and potential future behaviors. In this paper, we introduce configuration monitoring to determine an unknown configuration of a running system based on observations of its behavior. We develop a modular and generic pipeline to synthesize automata-theoretic configuration monitors from a featured transition system model of the configurable system to be monitored. The pipeline further allows synthesis under partial observability and network-induced losses as well as predictive configuration monitors taking the potential future behavior of a system into account. Beyond the novel application of configuration monitoring, we show that our approach also generalizes and unifies existing work on runtime monitoring and fault diagnosis, which aim at detecting the satisfaction or violation of…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsEmbedded Systems Design Techniques
