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

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02357381
Contributor : Tatiana Prosvirnova <>
Submitted on : Sunday, November 10, 2019 - 8:54:21 AM
Last modification on : Saturday, November 16, 2019 - 1:25:13 AM

File

IMBSA2019_synchro.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

7

Files downloads

13