Skip to Main content Skip to Navigation
Conference papers

Model-Based System Engineering for Fault Tree Generation and Analysis

Abstract : In this paper, we focus on the integration of formal approaches for automatic FT generation within a MBSE workflow. We describe a safety modelling framework for FT generation that leverages features of SysML modelling language and includes facilities to make semantic connections with formal verification and FTA tools. MBSE methods and tools (metamodels, profiles, model transformation) are fully exploited to propose a seamless workflow customizable for safety engineers. We illustrate the FT generation and analysis flow associated with the proposed framework using the example of the train detection system and the AltaRica formal environment.
Document type :
Conference papers
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal-cea.archives-ouvertes.fr/cea-01810061
Contributor : Önder Gürcan <>
Submitted on : Thursday, June 7, 2018 - 2:18:25 PM
Last modification on : Monday, February 10, 2020 - 6:14:14 PM
Long-term archiving on: : Saturday, September 8, 2018 - 1:49:22 PM

File

MBSA-FTA.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : cea-01810061, version 1

Collections

CEA | DRT | LIST

Citation

Nataliya Yakymets, Hadi Jaber, Agnes Lanusse. Model-Based System Engineering for Fault Tree Generation and Analysis. International Conference on Model-Driven Engineering and Software Development, Feb 2013, Barcelona, Spain. ⟨cea-01810061⟩

Share

Metrics

Record views

131

Files downloads

259