Model synchronization: a formal framework for the management of heterogeneous models

Michel Batteux (1) , Tatiana Prosvirnova (2, 3) , Antoine Rauzy (4)

1 IRT SystemX
2 CentraleSupélec
3 DTIS, ONERA, Université de Toulouse [Toulouse]
4 NTNU - Norwegian University of Science and Technology [Trondheim]

In this article, we present the conceptual foundations and implementation principles of model synchronization, a formal framework for the management of heterogeneous models. The proposed approach relies on S2ML (System Structure Modeling Language) as a pivot language. We show, by means of a case study, that model synchronization can be used to ensure the consistency between system architecture models designed with Capella and safety models written in AltaRica 3.0.

Domaines: Informatique [cs]; Modélisation et simulation

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. Model synchronization: a formal framework for the management of heterogeneous models. International Symposium on Model Based Safety Assessment, IMBSA 2019, Oct 2019, Thessaloniki, Greece. ⟨10.1007/978-3-030-32872-6_11⟩. ⟨hal-02357381⟩