Skip to Main content Skip to Navigation
Reports

Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics

Stefan Haar 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 truly asynchronous, distributed systems, neither global state nor global time are available. Automata-based diagnosis therefore reaches its limitations there; a different approach, based on Petri net unfoldings, was proposed in [9]. It is motivated by the problem of event correlation in telecommunications network management, and uses only local states, in combination with a partial order model of time. Diagnosis is performed by correlation of the observed partial order alarm patterns and partial order executions of the system model. As in the classical automata setting, the presence of invisible transitions raises the problems of observability and diagnosability of a given system. In this paper, we give a definition of weak and strong observability and diagnosability in terms of partially ordered executions, and characterize diagnosable systems; the characterizing property can be effectively verified using a finite complete prefix of the net unfolding.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00070750
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 9:30:28 PM
Last modification on : Thursday, January 7, 2021 - 4:28:53 PM
Long-term archiving on: : Sunday, April 4, 2010 - 9:50:36 PM

Identifiers

  • HAL Id : inria-00070750, version 1

Citation

Stefan Haar. Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics. [Research Report] RR-5248, INRIA. 2004, pp.25. ⟨inria-00070750⟩

Share

Metrics

Record views

241

Files downloads

160