Recherche Avancée

Thèse soutenue

Contribution à la modélisation pour le diagnostic des systèmes complexes : application à la signalisation des lignes à grande vitesse

FR  |  
EN
Auteur / Autrice : Frédéric Lefebvre
Direction : Patrick Millot
Type : Thèse de doctorat
Discipline(s) : Automatique industrielle et humaine
Date : Soutenance en 2000
Etablissement(s) : Valenciennes

Résumé

FR

Les travaux présentés dans ce mémoire constituent une contribution à un domaine de la maintenance corrective des dispositifs techniques : le diagnostic et plus précisément la localisation des pannes. Ces travaux se sont basés sur la mise en œuvre du diagnostic d'une application réelle, la TVM 430, c'est à dire le système d'espacement et de signalisation en cabine des TGV. Tout en restant proche des problèmes soulevés par cette application, nous avons essayé de proposer une démarche générique applicable à d'autres types de dispositifs techniques. Nous avons opté pour le choix du diagnostic à base de modèle car il est bien adapté aux systèmes sur lesquels peu d'expertise est disponible. De plus la connaissance propre au dispositif est concentrée dans des modèles qui peuvent être crées a partir des seuls documents de conception. Les trois modèles structurel, comportemental et fonctionnel que nous avons utilisés pour contenir la connaissance sur le dispositif ont été choisis en fonction de leur utilisation, le diagnostic, et en fonction des informations disponibles à partir des données de conception. Par conséquent, chaque modèle correspond à un niveau épistémologique et a fait ses preuves dans la littérature dédiée au diagnostic. La démarche utilisée pour créer les trois modèles est issue du génie logiciel (tests unitaires, tests d'intégration, non-régression des modifications) pour diminuer la difficulté de la phase de déverminage. Cette phase de déverminage des modèles est entreprise de manière originale en adaptant la théorie du diagnostic sur des scénarios de panne. Ceux-ci fournissent les candidats que l'on doit obtenir. On ne pose donc plus des hypothèses sur le bon fonctionnement de ces composants mais sur des hypothèses de correction-complétude des observations ou des hypothèses de correction-complétude sur les modèles.