Skip to main content

Challenges in Fault-tolerant Distributed Runtime Verification

Publication Type
Year of Publication
Conference/Journal Name
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
Runtime Verification is a lightweight method for monitoring the formal specification of a system (usually in some form of temporal logics) at execution time. In a setting, where a set of distributed monitors have only a partial view of a large system and may be subject to different types of faults, the literature of runtime verification falls short in answering many fundamental questions. Examples include techniques to reason about the soundness and consistency of the collective set of verdicts computed by the set of distributed monitors. In this paper, we discuss open research problems on fault-tolerant distributed monitoring that stem from different design choices
and implementation platforms.