From Safety Assessment Models to Operational Diagnosis Models
Des modèles de sûreté de fonctionnement aux modèles de diagnostic opérationnels
Résumé
The operation of industrial systems can involve complex procedures that must be applied within narrow time constraints –in particular when dealing with faults. The use of formal models can help the design of these procedures and their validation, thus to assist operators. We propose to introduce a new type of Operations Dedicated Model (ODM) in the system design process, and suggest a formalism from the Behaviour Tree family. We assume that Safety Analysis (SA) models describe dysfunctional aspects of the system, notably via Fault Tree Analysis (FTA), and propose a methodology for creating the ODM from a Fault Tree, so as to account for all possible fault events considered by FTA. We demonstrate this methodology on an Unmanned Aerial Vehicle (UAV) example, and discuss how this model improves the system’s operations.
L'opération des systèmes industriels peut impliquer des procédures complexes à exécuter dans des fenêtres de temps serrées - en particulier dans le cas de fautes. L'utilisation de modèles formels peut aider la conception et la validation de ces procédures, ainsi qu'assister les opérateurs. Nous proposons d'introduire un nouveau type de Modèle Dédié aux Opérations (MDO) dans le processus de conception, et suggérons un formalisme de la famille des Arbres de Comportement. Nous supposons qu'une Analyse en Sûreté de Fonctionnement décrit les aspects dysfonctionnels du système, notamment une Analyse en Arbres de Défaillances, et proposons une méthodologie pour créer le MDO depuis un Arbre de Défaillance, de manière à tenir compte de tous les évènements de faute. Nous démontrons cette méthodologie sur un cas d'application de drone, et discutons de l'apport de ce modèle pour les activités d'opération d'un tel système.
Fichier principal
From_Safety_Assessment_Models_to_Operational_Diagnosis_Models.pdf (179.47 Ko)
Télécharger le fichier
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|