Distributed monitoring of concurrent and asynchronous systems---extended version - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2004

Distributed monitoring of concurrent and asynchronous systems---extended version

Résumé

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 PN unfoldings and event structures, as means to manipulate trajectories of systems with concurrency. This report is an extended version of the paper with same title, which appeared as a plenary address in the Proceedings of CONCUR'2003.
Fichier principal
Vignette du fichier
RR-4842.pdf (2.29 Mo) Télécharger le fichier

Dates et versions

inria-00071743 , version 1 (23-05-2006)

Identifiants

  • HAL Id : inria-00071743 , version 1

Citer

Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard. Distributed monitoring of concurrent and asynchronous systems---extended version. [Research Report] RR-4842, INRIA. 2004. ⟨inria-00071743⟩
182 Consultations
31 Téléchargements

Partager

Gmail Facebook X LinkedIn More