Distributed monitoring of concurrent and asynchronous systems---extended version - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2004

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

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 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 and versions

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

Identifiers

  • HAL Id : inria-00071743 , version 1

Cite

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⟩
160 View
29 Download

Share

Gmail Facebook Twitter LinkedIn More