Diagnosability for Patterns in Distributed Discrete Event Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Diagnosability for Patterns in Distributed Discrete Event Systems

Résumé

A pattern is a Finite State Machine that can describe rich faulty scenarios, such as the occurrence of single faults, multiple faults, multiple occurrences of a fault, or the repair of a system. In distributed systems, the events in the pattern, as well as in the system trajectories, are emitted from different components. Our approach is based on distributed simulation and communication to check the recognition of the pattern from the conclusion of local recognition of local patterns. The components communicate observable events and shared communication events, as well as their local recognition results during the checking process without sharing their local models in any way.
Fichier principal
Vignette du fichier
AfterDX.pdf (421.83 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00540844 , version 1 (29-11-2010)

Identifiants

  • HAL Id : inria-00540844 , version 1

Citer

Yuhong Yan, Lina Ye, Philippe Dague. Diagnosability for Patterns in Distributed Discrete Event Systems. 21st International Workshop on Principles of Diagnosis DX'10, Oct 2010, Portland, OR, United States. ⟨inria-00540844⟩
139 Consultations
387 Téléchargements

Partager

Gmail Facebook X LinkedIn More