paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 211319694Copier cet identifiant (PPN)
Notice de type Rameau

Point d'accès autorisé

Informations

Langue d'expression : Francais
Date de naissance :  2000
Note publique d''information : 
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.

Notices d'autorité liées

Autres identifiants

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet

Equivalent dans un autre référentiel

... Références liées : ...