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 metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02546655
Contributor : Aroua Berriche <>
Submitted on : Saturday, April 18, 2020 - 1:52:41 PM
Last modification on : Tuesday, May 5, 2020 - 11:50:24 AM

File

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

Identifiers

  • HAL Id : hal-02546655, version 1

Citation

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

Share

Metrics

Record views

14

Files downloads

12