A Unified Framework for Runtime Verification and Model-Based Diagnosis in LOLA

Raik Hipler, Martin Leucker, Patrick Rodler

We present an integrated framework that unifies runtime verification and model-based diagnosis within the stream specification language LOLA. By encoding system descriptions, compo…