Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2004

Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-5248.pdf (436.29 Ko) Télécharger le fichier

Dates et versions

inria-00070750 , version 1 (19-05-2006)

Identifiants

  • HAL Id : inria-00070750 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More