Monitoring Distributed Component-Based Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021

Monitoring Distributed Component-Based Systems


We monitor asynchronous distributed component-based systems with multi-party interactions. We consider independent components whose interactions are managed by several distributed schedulers. In this context, neither a global state nor the total ordering of the executions of the system is available at runtime. We instrument the system 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 an original lattice over partial states, such that each path of the lattice corresponds to a possible execution of the system.
Fichier principal
Vignette du fichier
facs21.pdf (437.1 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03525762 , version 1 (14-01-2022)


  • HAL Id : hal-03525762 , version 1


Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga. Monitoring Distributed Component-Based Systems. FACS 2021 - 17th edition of the International Conference on Formal Aspects of Component Software, Oct 2021, Grenoble, France. pp.1-19. ⟨hal-03525762⟩
58 View
48 Download


Gmail Facebook X LinkedIn More