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 metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02357379
Contributor : Tatiana Prosvirnova <>
Submitted on : Sunday, November 10, 2019 - 8:51:51 AM
Last modification on : Friday, December 6, 2019 - 2:47:19 PM

File

ISSE2019_Synchronisation_Tatia...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02357379, version 1

Citation

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⟩

Share

Metrics

Record views

13

Files downloads

15