Distributed monitoring of concurrent and asynchronous systems.

Eric Fabre 1 Albert Benveniste 1 Stefan Haar 1 Claude Jard 1
1 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our approach relies on Petri net unfoldings and event structures, as means to manipulate trajectories of systems with concurrency. This article is an extended version of the paper with same title, which appeared as a plenary address in the Proceedings of CONCUR'2003.
Document type :
Journal articles
Liste complète des métadonnées

Cited literature [34 references]  Display  Hide  Download

https://hal.inria.fr/inria-00638219
Contributor : Stefan Haar <>
Submitted on : Friday, November 4, 2011 - 2:19:29 PM
Last modification on : Friday, November 16, 2018 - 1:27:51 AM
Document(s) archivé(s) le : Sunday, February 5, 2012 - 2:23:01 AM

File

FBJH-deds05.pdf
Publisher files allowed on an open archive

Identifiers

Citation

Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard. Distributed monitoring of concurrent and asynchronous systems.. Discrete Event Dynamic Systems, Springer Verlag, 2005, 15 (1), pp.33-84. ⟨10.1007/s10626-005-5238-5⟩. ⟨inria-00638219⟩

Share

Metrics

Record views

314

Files downloads

364