Monitoring Distributed Component-Based Systems

Yliès Falcone (1, 2, 3) , Hosein Nazarpour (4) , Saddek Bensalem (4, 1) , Marius Bozga (4)

1 UGA UFR IM2AG - Université Grenoble Alpes - UFR Informatique, mathématiques et mathématiques appliquées
2 CORSE - Compiler Optimization and Run-time Systems
3 LIG - Laboratoire d'Informatique de Grenoble
4 VERIMAG - IMAG - VERIMAG

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.

Domaines: Systèmes embarqués; Génie logiciel [cs.SE]

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⟩