loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Nataliya Yakymets ; Hadi Jaber and Agnes Lanusse

Affiliation: Institut CARNOT CEA LIST and DILS, France

Keyword(s): Model-based System Engineering, Model-based Safety Assessment, Fault Tree, Sysml, Altarica.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Frameworks for Model-Driven Development ; Methodologies, Processes and Platforms ; Model Quality Assurance Techniques ; Model Transformation ; Model Transformations and Generative Approaches ; Model-Based Testing and Validation ; Model-Driven Software Development ; Model-Driven Systems Engineering ; Models ; Paradigm Trends ; Software Engineering

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.165.248.212

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - MODELSWARD; ISBN 978-989-8565-42-6; ISSN 2184-4348, SciTePress, pages 210-214. DOI: 10.5220/0004346902100214

@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 - MODELSWARD},
year={2013},
pages={210-214},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004346902100214},
isbn={978-989-8565-42-6},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Model-based System Engineering for Fault Tree Generation and Analysis
SN - 978-989-8565-42-6
IS - 2184-4348
AU - Yakymets, N.
AU - Jaber, H.
AU - Lanusse, A.
PY - 2013
SP - 210
EP - 214
DO - 10.5220/0004346902100214
PB - SciTePress