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 metadatas

https://hal.inria.fr/inria-00638342
Contributor : Stefan Haar <>
Submitted on : Friday, November 4, 2011 - 3:40:38 PM
Last modification on : Friday, November 16, 2018 - 1:23:53 AM

Identifiers

  • HAL Id : inria-00638342, version 1

Citation

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⟩

Share

Metrics

Record views

306