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 Accéder directement au contenu
Thèse Année : 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
  • Fonction : Auteur
  • PersonId : 771512
  • IdRef : 059928433

Résumé

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).
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : tel-01750317 , version 1

Accès intranet

Citer

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⟩
75 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More