Sûreté de Fonctionnement : Recherche des Scénarios Critiques dans les Systèmes Mécatroniques
No Thumbnail Available
Date
2015
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Les systèmes mécatroniques sont des systèmes hybrides incluant à la fois des variables
continues et discrètes. La dynamique continue est généralement fournie par des équations
différentielles et algébriques alors que la partie discrète est modélisée par des automates ou les états
à transitions.
L’objectif de cette thèse est d’une part l’analyse qualitative pour la détermination des scénarios
redoutés minimaux, et d’autre part l’analyse quantitative basée sur les scénarios minimaux trouvés.
Ce travail propose une nouvelle approche d'analyse de la sûreté de fonctionnement des systèmes
mécatroniques. Le but est d’extraire les scénarios redoutés minimaux qui conduisent un système
vers un état de défaillance, à partir des arbres de preuves de la logique linéaire et établir les liens de
causalité entre les événements redoutés et les fonctionnements normaux. Les arbres de preuves de la
logique linéaire contiennent des événements qui sont la conséquence d’événements inclus dans le
scénario, mais qui ne sont pas strictement nécessaires à l’obtention finale de l’état critique redouté.
La taille de l’arbre de preuve est proportionnelle au nombre de franchissement des transitions dans
le séquent prouvable. L’approche qualitative proposée est basée sur la notion de coupe minimale de
la méthode des arbres de défaillances appliquées aux arbres de preuves de la logique linéaire du
modèle réseau de Pétri dans un contexte inconnu. Le but est de réduire la taille des arbres de preuves
de la logique linéaire et de générer un nombre minimal de scénarios redoutés.
L’analyse quantitative pour l’évaluation de la sûreté de fonctionnement des systèmes mécatroniques
est basée sur les résultats de l’analyse qualitative. Le formalisme de modélisation adopté pour cette
classe de systèmes s’appuie sur les automates hybrides.