Diagnosability of Repairable Faults

Eric Fabre 1 Loïc Hélouët 1 Engel Lefaucheux 2, 3 Hervé Marchand 1
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA_D4 - LANGAGE ET GÉNIE LOGICIEL
3 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : The diagnosis problem for discrete event systems consists in deciding whether some fault event occurred or not in the system, given partial observations on the run of that system. Diagnosability checks whether a correct diagnosis can be issued in bounded time after a fault, for all faulty runs of that system. This problem appeared two decades ago and numerous facets of it have been explored, mostly for permanent faults. It is known for example that diagnosability of a system can be checked in polynomial time, while the construction of a diagnoser is exponential. The present paper examines the case of transient faults, that can appear and be repaired. Diagnosability in this setting means that the occurrence of a fault should always be detected in bounded time, but also before the fault is repaired. Checking this notion of diagnosability is proved to be PSPACE-complete. It is also shown that faults can be reliably counted provided the system is diagnosable for faults and for repairs.
Type de document :
Article dans une revue
Discrete Event Dynamic Systems, Springer Verlag, 2017
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01646911
Contributeur : Loic Helouet <>
Soumis le : jeudi 23 novembre 2017 - 21:45:29
Dernière modification le : mercredi 16 mai 2018 - 11:24:13

Fichier

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

Identifiants

  • HAL Id : hal-01646911, version 1

Citation

Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand. Diagnosability of Repairable Faults. Discrete Event Dynamic Systems, Springer Verlag, 2017. 〈hal-01646911〉

Partager

Métriques

Consultations de la notice

697

Téléchargements de fichiers

40