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.
Tue 11 JulDisplayed time zone: Tijuana, Baja California change
10:30 - 11:45 | |||
10:30 25mTalk | Efficient Computation of Happens-Before Relation for Event-Driven Programs Technical Papers Pallavi Maiya Indian Institute of Science, Bangalore, Aditya Kanade Indian Institute of Science, Bangalore DOI | ||
10:55 25mTalk | Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software Technical Papers Yu Wang Nanjing University, China, Linzhang Wang , Tingting Yu University of Kentucky, Jianhua Zhao Nanjing University, China, Xuandong Li Nanjing University DOI | ||
11:20 25mTalk | Monitoring Decentralized Specifications Technical Papers Antoine El-Hokayem Grenoble Alpes University, France / Inria, France / CNRS, France, Yliès Falcone Univ. Grenoble Alpes, Inria DOI |