HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 6:39:57 PM
Last modification on : Friday, February 4, 2022 - 3:24:36 AM
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

159

Files downloads

29