A Unified Framework for Runtime Verification and Model-Based Diagnosis in LOLA
Raik Hipler, Martin Leucker, Patrick Rodler
cs.SE cs.AI cs.LO
Abstract
We present an integrated framework that unifies runtime verification and model-based diagnosis within the stream specification language LOLA. By encoding system descriptions, component health states, and observations into a single stream-based formalism, the approach enables continuous, online fault localization directly alongside fault detection, without requiring separate toolchains. The framework supports both time-invariant and transient faults, and naturally accommodates nondeterministic observations.
Topics
Classified with taxonomy v2 on Sat, 5 Sept 2026.