Skip to Main content Skip to Navigation
New interface
Conference papers

Distributed Monitoring of Concurrent and Asynchronous Systems

Albert Benveniste 1 Eric Fabre 1 Stefan Haar 1 Claude Jard 2 
1 SIGMA2 - Signal, models, algorithms
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
2 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Developing applications over a distributed and asynchronous architecture without the need for synchronization services is going to become a central track for distributed computing. This research track will be central for the domain of autonomic computing and self-management. Distributed constraint solving, distributed observation, and distributed optimization, are instances of such applications. This paper is about distributed observation: we investigate the problem of distributed monitoring of concurrent and asynchronous systems, with application to distributed fault management in telecommunications networks. Our approach combines two techniques: compositional unfoldings to handle concurrency properly, and a variant of graphical algorithms and belief propagation, originating from statistics and information theory.
Document type :
Conference papers
Complete list of metadata
Contributor : Stefan Haar Connect in order to contact the contributor
Submitted on : Friday, November 4, 2011 - 3:40:38 PM
Last modification on : Friday, February 4, 2022 - 3:22:05 AM


  • HAL Id : inria-00638342, version 1


Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard. Distributed Monitoring of Concurrent and Asynchronous Systems. Proceedings of the 14th International Conference on Concurrency Theory (CONCUR'03), 2003, Marseilles, France, France. pp.1-26. ⟨inria-00638342⟩



Record views