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.