Skip to Main content Skip to Navigation
Conference papers

Synchronization of System Architecture and Safety Models: a Proof of Concept

Abstract : To face the increasing complexity of technical systems , engineers are designing models. The integration of models coming from various engineering disciplines, such as system architecture, multi-physics simulation, automatic code generation as well as safety and performance analyses, is one of today's industrial challenges. In this article we present model synchronization-a framework to ensure consistency between models coming from different engineering domains, based on S2ML (System Structure Mod-eling Language). We illustrate our purpose using an Electro-Mechanical Actuator (EMA) of an aileron for a small aircraft. We show how the introduced framework can be used to handle consistency between system architecture models (represented in SysML) and safety models (represented in AltaRica 3.0) with several architecture variants.
Document type :
Conference papers
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download
Contributor : Tatiana Prosvirnova Connect in order to contact the contributor
Submitted on : Sunday, November 10, 2019 - 8:51:51 AM
Last modification on : Thursday, July 22, 2021 - 3:02:27 AM
Long-term archiving on: : Tuesday, February 11, 2020 - 1:10:55 PM


Files produced by the author(s)


  • HAL Id : hal-02357379, version 1


Michel Batteux, Jean-Yves Choley, Faida Mhenni, Tatiana Prosvirnova, Antoine Rauzy. Synchronization of System Architecture and Safety Models: a Proof of Concept. IEEE International Symposium on Systems Engineering, ISSE 2019, Oct 2019, Edinbourg, United Kingdom. ⟨hal-02357379⟩



Les métriques sont temporairement indisponibles