Skip to Main content Skip to Navigation
New interface
Conference papers

From Safety Assessment Models to Operational Diagnosis Models

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03773708
Contributor : CCSD Sciencesconf.org Connect in order to contact the contributor
Submitted on : Friday, September 9, 2022 - 2:20:10 PM
Last modification on : Friday, October 28, 2022 - 1:43:21 PM

File

From_Safety_Assessment_Models_...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03773708, version 1

Collections

Citation

Nikolena Christofi, Xavier Pucel. From Safety Assessment Models to Operational Diagnosis Models. 33rd International Workshop on Principle of Diagnosis – DX 2022, LAAS-CNRS-ANITI, Sep 2022, Toulouse, France. ⟨hal-03773708⟩

Share

Metrics

Record views

45

Files downloads

14