Structural consistency of MBSE and MBSA models using Consistency Links

Romaric Demachy (1) , Sébastien Guilmeau (1)

1 IRT Saint Exupéry - Institut de Recherche Technologique

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.

Keywords: Model-Based System Engineering; Model-Based Safety Assessment; digital continuity

Domains: Other

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⟩