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.
Type de document :
Communication dans un congrès
Amadio, Roberto M. and Lugiez, Denis. Proceedings of the 14th International Conference on Concurrency Theory (CONCUR'03), 2003, Marseilles, France, France. Springer, 2761, pp.1-26, 2003
Liste complète des métadonnées

https://hal.inria.fr/inria-00638342
Contributeur : Stefan Haar <>
Soumis le : vendredi 4 novembre 2011 - 15:40:38
Dernière modification le : mercredi 16 mai 2018 - 11:23:06

Identifiants

  • HAL Id : inria-00638342, version 1

Citation

Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard. Distributed Monitoring of Concurrent and Asynchronous Systems. Amadio, Roberto M. and Lugiez, Denis. Proceedings of the 14th International Conference on Concurrency Theory (CONCUR'03), 2003, Marseilles, France, France. Springer, 2761, pp.1-26, 2003. 〈inria-00638342〉

Partager

Métriques

Consultations de la notice

278