Crash-Resilient Decentralized Synchronous Runtime Verification

In this paper, we consider runtime verification of synchronous distributed systems, where a decentralized set of monitors that only have a partial view of the system are subject to crash failures. In this context, it is unavoidable that monitors may have different views of the underlying system, and...

Full description

Saved in:
Bibliographic Details
Published in2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS) pp. 207 - 212
Main Authors Kazemlou, Shokoufeh, Bonakdarpour, Borzoo
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.10.2018
Subjects
Computational modeling
Computer crashes
Distributed systems
Fault tolerance
Inspection
Monitoring
Runtime
Runtime monitoring
Semantics
Syntactics
Online AccessGet full text

Cover

More Information
Summary:In this paper, we consider runtime verification of synchronous distributed systems, where a decentralized set of monitors that only have a partial view of the system are subject to crash failures. In this context, it is unavoidable that monitors may have different views of the underlying system, and, therefore, have different opinions about the correctness property. We propose an automata-based synchronous monitoring algorithm that copes with t crash monitor failures. Moreover, local monitors do not communicate their explicit reading of the underlying system. Rather, they emit a symbolic verdict that efficiently encodes their partial views. This significantly reduces the communication overhead.
ISSN:2575-8462
DOI:10.1109/SRDS.2018.00032