Model-based System Engineering for Fault Tree Generation and Analysis
Nataliya Yakymets, Hadi Jaber, Agnes Lanusse
2013
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 (meta-models, 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.
DownloadPaper Citation
in Harvard Style
Yakymets N., Jaber H. and Lanusse A. (2013). Model-based System Engineering for Fault Tree Generation and Analysis . In Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-8565-42-6, pages 210-214. DOI: 10.5220/0004346902100214
in Bibtex Style
@conference{modelsward13,
author={Nataliya Yakymets and Hadi Jaber and Agnes Lanusse},
title={Model-based System Engineering for Fault Tree Generation and Analysis},
booktitle={Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2013},
pages={210-214},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004346902100214},
isbn={978-989-8565-42-6},
}
in EndNote Style
TY - CONF
JO - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Model-based System Engineering for Fault Tree Generation and Analysis
SN - 978-989-8565-42-6
AU - Yakymets N.
AU - Jaber H.
AU - Lanusse A.
PY - 2013
SP - 210
EP - 214
DO - 10.5220/0004346902100214