Checking diagnosability on centralized model of the system

International audienceIn this work, the problem of checking diagnosability on Discrete Event System (DES) is considered especially in centralized architecture. Many approaches in literature deals with diagnosability using one or more intermediate models. In this paper, we present a new model based diagnosability algorithms in the framework of set theory for deciding diagnosability, without any intermediate constructions or models and considering several faults at the same time

Conception d'un système de vérification de la diagnosticabilité par model checking à partir du modèle du système

International audienceDans ce papier, nous nous intéressons à la vérification de la diagnosticabilité par model-checking des Systèmes à Evénements Discrets (SED) modélisés à base d'automates à états finis. Nous proposons une méthode basée sur un algorithme permettant l'analyse de la diagnosticabilité du SED à partir de son modèle de base. Celui-ci constitue la donnée d'entrée de notre méthode. Une condition de la diagnosticabilité étant la présence d'un cycle indéterminé dans un système, nous proposons de rechercher l'ensemble des cycles puis de les analyser. Pour cela, notre méthodologie se découpe en 3 phases. Une phase de modélisation et instanciation de modèles, une phase de recherche de cycles et enfin une phase d'analyse de la non-diagnosticabilité. Nous illustrons notre approche autour d'une étude expérimentale