Skip to Main content Skip to Navigation
Conference papers

A Study on SysML and Altarica Model Synchronization

Abstract : The development of a mechatronic system involves the use of multiple models from a variety of domains. These models are created by different actors using a variety of modeling languages, formalisms, and tools for addressing specific concerns and are used for representing different views on the same system. The separation of concerns is considered as a good practice to develop every model independently from other disciplines. However, a complete separation is impossible. The integration process can produce communication issues and poor understanding between various actors. The main consequence is a high risk of inconsistency between the different models of the same system. In this paper, we apply a model synchronization methodology to detect inconsistencies between the different models of a mechatronic system. The proposed method is composed of three phases: first, the entry models are abstracted into a common representation; second, a comparison between the abstracted models is carried out to identify potential inconsistencies among various models, and finally, the concretization phase acts to solve the detected inconsistencies.
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Aroua Berriche Connect in order to contact the contributor
Submitted on : Saturday, April 18, 2020 - 1:52:41 PM
Last modification on : Wednesday, July 21, 2021 - 2:16:02 PM


paper aroua IC3M'2019 vf1.0.pd...
Files produced by the author(s)


  • HAL Id : hal-02546655, version 1


Aroua Berriche, Faïda Mhenni, Abdelfattah Mlika³, Jean yves Choley⁴. A Study on SysML and Altarica Model Synchronization. IC3M, Dec 2019, Sousse, Tunisia. ⟨hal-02546655⟩



Record views


Files downloads