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
Contributor : CCSD 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


Files produced by the author(s)


  • HAL Id : hal-03773708, version 1



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⟩



Record views


Files downloads