Synchronization of System Architecture, Multi-physics and Safety Models

Batteux, Michel; Choley, Jean-Yves; Mhenni, Faïda; Palladino, Luca; Prosvirnova, Tatiana; Rauzy, Antoine; Theobald, Maurice

doi:10.1007/978-3-030-34843-4_4

Cited by 3 publications

(2 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Regarding the SmartSync synchronization framework [20], the authors of the methodology provide a methodology and tools for the synchronization of the MBSE and MBSA models [21]. The comparison is operated on abstracted models written with the S2ML language [22].…”

Section: Synchronisation Methodologiesmentioning

confidence: 99%

“…We needed to make a second comparison to assert the global consistency of our design with the Modelica/SysML comparison. The translation from Modelica to S2ML was done following the process described in [21], with the difference that we considered Modelica's variables. Part of this translation can be found in Figure 15 with the translation of the motor class.…”

Section: Mbse/multi-physicsmentioning

confidence: 99%

See 1 more Smart Citation

Category Theory Framework for System Engineering and Safety Assessment Model Synchronization Methodologies

et al. 2022

Self Cite

View full text Add to dashboard Cite

In recent decades, there has been a significant increase in systems’ complexity, leading to a rise in the need for more and more models. Models created with different intents are written using different formalisms and give diverse system representations. This work focuses on the system engineering domain and its models. It is crucial to assert a critical system’s compliance with its requirements. Thus, multiple models dedicated to these assertions are designed, such as safety or multi-physics models. As those models are independent of the architecture model, we need to provide means to assert and maintain consistency between them if we want the analyses to be relevant. The model synchronization methodologies give means to work on the consistency between the models through steps of abstraction to a common formalism, comparison, and concretization of the comparison results in the original models. This paper proposes a mathematical framework that allows for a formal definition of such a consistency relation and a mathematical description of the models. We use the context of category theory, as this is a mathematical theory providing great tools for taking into account different abstraction levels and composition of relations. Finally, we show how this mathematical framework can be applied to a specific synchronization methodology with a realistic study case.

show abstract

Section: Synchronisation Methodologiesmentioning

confidence: 99%

Section: Mbse/multi-physicsmentioning

confidence: 99%