Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1109/SRDS.2018.00032 | 2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS) |
Keywords | Field | DocType |
Runtime monitoring,Distributed systems,Fault tolerance | Crash,Computer science,Correctness,Automaton,Runtime verification,Semantics,Distributed computing | Conference |
ISSN | ISBN | Citations |
1060-9857 | 978-1-5386-8302-6 | 0 |
PageRank | References | Authors |
0.34 | 10 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Shokoufeh Kazemlou | 1 | 0 | 0.34 |
Borzoo Bonakdarpour | 2 | 490 | 45.02 |