Skip to Main content Skip to Navigation
Conference papers

Monitoring Decentralized Specifications

Antoine El-Hokayem 1 Yliès Falcone 2, 1
1 CORSE [2016-2019] - Compiler Optimization and Run-time Systems [2016-2019]
Inria Grenoble - Rhône-Alpes, LIG [2016-2019] - Laboratoire d'Informatique de Grenoble [2016-2019]
Abstract : We define two complementary approaches to monitor decentralized systems. The first relies on those with a centralized specification, i.e, when the specification is written for the behavior of the entire system. To do so, our approach introduces a data-structure that i) keeps track of the execution of an automaton, ii) has predictable parameters and size, and iii) guarantees strong eventual consistency. The second approach defines decentralized specifications wherein multiple specifications are provided for separate parts of the system. We study decentralized monitorability, and present a general algorithm for monitoring decentralized specifications. We map three existing algorithms to our approaches and provide a framework for analyzing their behavior. Lastly, we introduce our tool, which is a framework for designing such decentralized algorithms, and simulating their behavior.
Complete list of metadatas

Cited literature [29 references]  Display  Hide  Download
Contributor : Antoine El-Hokayem <>
Submitted on : Friday, December 1, 2017 - 6:09:28 PM
Last modification on : Wednesday, August 5, 2020 - 3:25:43 AM


Files produced by the author(s)




Antoine El-Hokayem, Yliès Falcone. Monitoring Decentralized Specifications. ISSTA 2017, Jul 2017, Santa Barbara, CA, United States. pp.125-135, ⟨10.1145/3092703.3092723⟩. ⟨hal-01653725⟩



Record views


Files downloads