Analyse des connaissances mises en œuvre dans l’aide à la décision en maintenance d'hélicoptères

Ce rapport traite d'une étude réalisée dans le cadre du projet de recherche HELIMaintenance. L'objectif du projet HELIMaintenance est d'optimiser la maintenance des hélicoptères en réduisant les coûts de maintenance. Le but de ce projet de concevoir un Système Logistique Intégré capable d'analyser les données critiques de pièces en vol et de piloter l'activité de l'atelier de maintenance afin de réduire l'inactivité de l'hélicoptère. Dans le cadre de ce projet, l'un des workpackages vise à proposer des approches et des outils d'aide à décision pour la maintenance d'hélicoptères en vue d'améliorer la qualité et les performances de ce processus. L'axe principal de recherche s'appuie sur la gestion des connaissances, le retour d'expérience, les problèmes de satisfaction de contraintes et les différentes façons d'associer ces méthodes. En raison de l'avancement du projet, notre travail vise à identifier certains cas de maintenance typiques que nous pourrions assister par des outils d'aide à la décision en vue d'atteindre les objectifs du workpackage. Afin de réaliser ce projet, nous avons commencé par faire un état de l'art autour des axes de recherche. Ensuite, nous avons informés les partenaires industriels aux approches d'aide à la décision utilisables et nous avons modélisé le processus de maintenance d'hélicoptères avec le formalisme de modélisation de processus BPMN (Business Process Modeling Notation). Enfin, nous avons proposé quelques outils d'aide à la décision qui pourraient être développés pour continuer ce projet

Diagnosing interoperability problems and debugging models by enhancing constraint satisfaction with case -based reasoning

Modeling, Diagnosis, and Model Debugging are the three main areas presented in this dissertation to automate the process of Interoperability Testing of networking protocols. The dissertation proposes a framework that uses the Constraint Satisfaction Problem (CSP) paradigm to define a modeling language and problem solving mechanism for interoperability testing, and uses Case-Based Reasoning (CBR) for debugging interoperability test cases. The dissertation makes three primary contributions: (1) Definition of a new modeling language using CSP and Object-Oriented Programming. This language is simple, declarative, and transparent. It provides a tool for testers to implement models of interoperability test cases. The dissertation introduces the notions of metavariables, metavalues and optional metavariables to improve the modeling language capabilities. It proposes modeling of test cases from test suite specifications that are usually used in interoperability testing performed manually by testers. Test suite specifications are written by organizations or individuals and break down the testing into modules of test cases that make diagnosis of problems more meaningful to testers. (2) Diagnosis of interoperability problems using search supplemented by consistency inference methods in a CSP context to support explanations of the problem solving behavior. These methods are adapted to the OO-based CSP context. Testers can then generate reports for individual test cases and for test groups from a test suite specification. (3) Detection and debugging of incompleteness and incorrectness in CSP models of interoperability test cases. This is done through the integration of two modes of reasoning, namely CBR and CSP. CBR manages cases that store information about updating models as well as cases that are related to interoperability problems where diagnosis fails to generate a useful explanation. For the latter cases, CBR recalls previous similar useful explanations