DIAG-IPF: A Software Tool for Fault Diagnosis of Discrete Event Systems

Abderraouf Boussif (1) , Mohamed Ghazel (1)

1 IFSTTAR/COSYS/ESTAS - Évaluation des Systèmes de Transports Automatisés et de leur Sécurité

DIAG-IPF is the acronym that stands for DIAGnosability analyzer of discrete event systems - for Intermittent and Permanent Faults. This software tool has been developed in order to demonstrate/illustrate several academic researches which handle the basis issues in fault diagnosis of discrete event systems. Actually, almost all of the aproaches/ algorithms implemented in the software tool were developed in Boussif's thesis.

Mots clés: DISCRETE EVENT SYSTEMS; FAULT DIAGNOSIS; INTERMITTENT FAULTS; PERMANENT FAULTS

Mots clés: DIAGNOSTIC; SYSTEME DISCRET; METHODE DES ELEMENTS DISCRETS; MODELISATION; PROBABILITE DE DEFAILLANCE; RESEAU DE PETRI

Domaines: Calcul formel [cs.SC]

Abderraouf Boussif, Mohamed Ghazel. DIAG-IPF: A Software Tool for Fault Diagnosis of Discrete Event Systems. 11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France. ⟨hal-01657433⟩