A Study on SysML and Altarica Model Synchronization

Aroua Berriche (1) , Faïda Mhenni (2, 3) , Abdelfattah Mlika³ , Jean-Yves Choley (2, 3)

1 ENISo - Ecole Nationale d'Ingénieurs de Sousse
2 QUARTZ - Laboratoire QUARTZ
3 SUPMECA - SUPMECA - Institut supérieur de mécanique de Paris

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.

Mots clés: System engineering; Safety analysis; SysML; Altarica; Consistency management

Domaines: Génie mécanique [physics.class-ph]

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⟩