Génération du comportement observable d'un système pour l'étude de la diagnosticabilité de défauts

Overview & Synopsis

Cet article décrit une approche d'étude de la diagnosticabilité des défauts d'un système automatique par caractérisation de son comportement observable. Les systèmes automatiques sont des systèmes complexes comprenant une multitude de composants interagissant les uns avec les autres. Des défauts peuvent y apparaitre avec un impact néfaste sur leur environnement ou leur propre intégrité. Il est donc important de compléter ces systèmes de dispositifs de diagnostic permettant de détecter et d'identifier ces défauts, le plus précisément et le plus tôt possible. Ceci nécessite au préalable de s'assurer de la diagnosticabilité des défauts c'est-à-dire de déterminer dès la phase de conception s'ils seront bien détectés et discriminés par le dispositif de diagnostic. Dans ce document, nous présentons une approche permettant d'identifier et d'intégrer des défauts dans un modèle d'un système. Ces modèles sont ensuite exploités pour l'étude de la diagnosticabilité des défauts.