Le moteur de recherche
des thèses françaises
'%3e%3cpath%20style='fill:%2300a0dc;fill-opacity:1;stroke:none;stroke-width:.144606;stroke-opacity:1;stop-color:%23000'%20d='M41.8%20100.088H52.28c.46%200%20.831.421.831.945v10.25c0%20.524-.37.946-.831.946H41.8c-.46%200-.831-.422-.831-.945v-10.251c0-.524.37-.945.831-.945z'/%3e%3cpath%20d='m47.072%20102.02-4.87%202.656%204.87%202.657%203.985-2.174v3.06h.885v-3.543m-7.969%201.851v1.771l3.1%201.691%203.098-1.691v-1.77l-3.099%201.69z'%20style='fill:%23fff;fill-opacity:1;stroke-width:.442726'/%3e%3ccircle%20style='fill:%23009f1d;fill-opacity:1;stroke:%23fff;stroke-width:.379704;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:%23000'%20cx='54.151'%20cy='101.224'%20r='3.451'/%3e%3cpath%20d='m55.669%2099.387.659.664-3.075%203.104-1.634-1.649.66-.663.974.979%202.416-2.435'%20style='fill:%23fff;fill-opacity:1;stroke:none;stroke-width:.30061;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1'/%3e%3c/g%3e%3c/svg%3e)
Détermination d'une méthodologie d'aide à la conception d'un système de contrôle commande numérique sûr de fonctionnement
| Auteur / Autrice : | Didier Jampi |
| Direction : | Jean-François Aubry |
| Type : | Thèse de doctorat |
| Discipline(s) : | Automatique et traitement du signal |
| Date : | Soutenance en 2001 |
| Etablissement(s) : | Vandoeuvre-les-Nancy, INPL |
Mots clés
Mots clés contrôlés
Résumé
L'objectif de ces travaux de thèse est de proposer une méthodologie d'aide à la conception d'un système de contrôle commande sûr de fonctionnement. L'approche présentée, fondée sur l'utilisation des réseaux de Petri, permet dans un premier temps de s'assurer en partie de la conformité des propriétés de la formalisation du système de contrôle commande à certaines qualités propres à ce système (caractère atteignable de tous les états, déterminisme de la commande). Une étude qualitative de type AMDEC est ensuite entreprise afin de contribuer à l'amélioration de la fiabilité et de la sécurité du système de commande ainsi que de sa partie commandée. Cette étude consiste à rechercher les causes et les conséquences d'une évolution anormale du réseau de Petri de spécification du système de contrôle commande et à émettre des recommandations en fonction d'une criticité évaluée. Cette étude peut être qualifiée d'exhaustive en ce sens que tous les nœuds du réseau de spécification sont analysés. La vérification en terme de sûreté de fonctionnement de la pertinence des recommandations issues de l'analyse qualitative (en particulier des reconfigurations logicielles) nécessite une étude quantitative. C'est pourquoi, la probabilité de réalisation de la fonction de commande est évaluée en fonction des taux de défaillance et de réparation des composants matériels, mais également des reconfigurations logicielles mises en œuvre et parfois des profils de mission du système commandé. Cette approche méthodologique est appliquée au cas d'une boîte de vitesses pilotée. Ce mémoire illustre l'intérêt et la nécessité d'utiliser la spécification de système de contrôle commande comme support pour l'évaluation qualitative et quantitative de sûreté de fonctionnement d'un système mécatronique ( combinant mécanique et électronique).