Diagnosability analysis for self-observed distributed discrete event systems

Abstract : Diagnosability is a crucial property that determines at design stage how accurate any diagnosis algorithm can be on a partially observable system and thus has a significant impact on the performance and reliability of complex systems. Most existing approaches assumed that observable events in the system are globally observed. But sometimes it is not possible to obtain global information. Thus a recent work has proposed a new framework to check diagnosability in a system where each component can only observe its own observable events to keep the internal structure private in terms of observations. However, the authors implicitly assume that local paths in components can be exhaustively enumerated, which is not true in a general case where there are embedded cycles. In this paper, we get some new results about diagnosability in such a system, i.e., what we call joint diagnosability in a self-observed distributed system. First we prove the undecidability of joint diagnosability with unobservable communication events by reducing Post's Correspondence Problem to an observation problem. Then we propose an algorithm to check a sufficient but not necessary condition of joint diagnosability. Finally we briefly discuss about the decidable case with observable communication events.
Type de document :
Communication dans un congrès
VALID - 4th International Conference on Advances in System Testing and Validation Lifecycle, Nov 2012, Lisbonne, Portugal. 2012
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00790135
Contributeur : Philippe Dague <>
Soumis le : mardi 19 février 2013 - 14:45:51
Dernière modification le : jeudi 5 avril 2018 - 12:30:08
Document(s) archivé(s) le : lundi 20 mai 2013 - 04:02:17

Fichier

VALID_78_final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00790135, version 1

Collections

Citation

Lina Ye, Philippe Dague. Diagnosability analysis for self-observed distributed discrete event systems. VALID - 4th International Conference on Advances in System Testing and Validation Lifecycle, Nov 2012, Lisbonne, Portugal. 2012. 〈hal-00790135〉

Partager

Métriques

Consultations de la notice

89

Téléchargements de fichiers

53