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

Michel Batteux 1 Jean-Yves Choley 2 Faida Mhenni 3 Tatiana Prosvirnova 4, 5 Antoine Rauzy 6
1 IRT SystemX - IRT SystemX
2 Quartz - Laboratoire Quartz
3 LISMMA - Laboratoire d'Ingénierie des Systèmes Mécaniques et des MAtériaux
4 CentraleSupélec
5 ONERA / DTIS, Université de Toulouse [Toulouse]
6 NTNU - Norwegian University of Science and Technology [Trondheim]
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.
Keywords : Model synchronization model structuring SysML AltaRica S2ML
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

Collections

CENTRALESUPELEC | UNIV-PARIS8 | SUPMECA | IRT-SYSTEMX | LISMMA | UNIV-PARIS-SACLAY | UNIV-PARIS-LUMIERES | QUARTZ | ONERA

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

13

Files downloads

15

Contact

Informations

CCSD