Skip to Main content Skip to Navigation
Theses

Détermination d'une méthodologie d'aide à la conception d'un système de contrôle commande numérique sûr de fonctionnement

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 noeuds 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 oeuvre 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).
Document type :
Theses
File URL :
http://docnum.univ-lorraine.fr/prive/INPL_T_2001_JAMPI_D.pdf
Complete list of metadatas

https://hal.univ-lorraine.fr/tel-01750317
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 12:42:52 PM
Last modification on : Friday, March 30, 2018 - 1:28:50 AM

Identifiers

  • HAL Id : tel-01750317, version 1

Collections

Citation

Didier Jampi. Détermination d'une méthodologie d'aide à la conception d'un système de contrôle commande numérique sûr de fonctionnement. Autre. Institut National Polytechnique de Lorraine, 2001. Français. ⟨NNT : 2001INPL059N⟩. ⟨tel-01750317⟩

Share

Metrics

Record views

79