Détermination d'une méthodologie d'aide à la conception d'un système de contrôle commande numérique sûr de fonctionnement - Université de Lorraine Access content directly
Theses Year : 2001

Determination of a methodology for the conception aid of a dependable digital control system

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

Didier Jampi
  • Function : Author
  • PersonId : 771512
  • IdRef : 059928433

Abstract

Non disponible / Not available
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).
No file

Dates and versions

tel-01750317 , version 1 (29-03-2018)

Identifiers

  • HAL Id : tel-01750317 , version 1

Intranet access

Cite

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⟩
74 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More