Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga
Monitoring Distributed Component-Based Systems (2017)
Monitoring Distributed Component-Based Systems (2017)
TR-2017-3.pdf
Keywords:
Abstract: In this paper we address the online monitoring of asynchronous distributed component-based systems with multi-party interactions against user-provided properties expressed in linear-temporal logic referring to global states. We consider intrinsically independent components whose interactions are managed by several distributed schedulers. In this context, the problem that arises is that neither a global state nor the total ordering of the executions of the system is not available at runtime. We introduce a model instrumentation to retrieve local events from the local traces of the schedulers. Local events are sent to a global observer which reconstructs on-the-fly the set of global traces that are compatible with the local traces, in a concurrency-preserving fashion. The set of compatible global traces is represented in the form of a lattice, such that each path of the lattice corresponds to a possible execution of the system. We present RVDist, a prototype tool implementing our monitoring approach.
