Skip to Main content Skip to Navigation
Conference papers

Structural consistency of MBSE and MBSA models using Consistency Links

Abstract : The systems designed in industrial fields such as aeronautics or aerospace are more and more complex. In order to handle this complexity as well as the increasing need of digital continuity, model-based solutions are more and more introduced for system design (MBSE). In this picture, in order to ensure the consistency between the system design and the safety analysis, and thus increase the confidence in safety analyses results, our proposal is to ensure the consistency between MBSE and MBSA (Model Based Safety Analysis), which represent different views of the same system. To do so, we define Consistency Links (CL) that make a bridge between the structural items of each model. Associated with dedicated rules, that can be systematically checked, the CL can be used to drive the cross-review of models done by system engineers (SE) and safety specialists (SA) to increases detection of inconsistencies between models. The work presented here is part of the S2C project and involves industrial partners from the space and the aeronautical industry. It is led jointly by IRT Saint Exupéry and IRT SystemX.
Document type :
Conference papers
Complete list of metadata
Contributor : Romaric Demachy Connect in order to contact the contributor
Submitted on : Thursday, June 16, 2022 - 3:10:57 PM
Last modification on : Tuesday, June 21, 2022 - 3:48:37 AM


ERTS2022-Short paper - MBSE-MB...
Files produced by the author(s)


  • HAL Id : hal-03697170, version 1



Romaric Demachy, Sébastien Guilmeau. Structural consistency of MBSE and MBSA models using Consistency Links. 11th European Congress Embedded Real Time System ( ERTS 2022 ), Jun 2022, Toulouse, France. ⟨hal-03697170⟩



Record views


Files downloads