Skip to Main content Skip to Navigation
Reports

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

Albert Benveniste 1 Stefan Haar 1 Eric Fabre 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 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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00071743
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 6:39:57 PM
Last modification on : Thursday, January 7, 2021 - 4:27:49 PM
Long-term archiving on: : Tuesday, February 22, 2011 - 12:00:28 PM

Identifiers

  • HAL Id : inria-00071743, version 1

Citation

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⟩

Share

Metrics

Record views

436

Files downloads

115