State Machines Consistency between Model Based System Engineering and Safety Assessment Models

Julien Vidalie (1, 2, 3) , Mohamed-Sami Kendel (4) , Faïda Mhenni (2, 3) , Michel Batteux (1) , Jean-Yves Choley (2, 3)

1 IRT SystemX
2 QUARTZ - Laboratoire QUARTZ
3 ISAE-Supméca - ISAE-Supméca Institut Supérieur de Mécanique de Paris
4 ENS Paris Saclay - Ecole Normale Supérieure Paris-Saclay

Mots clés: MBSA; MBSE; AltaRica; SysML; S2ML; Abstraction; Comparison; Concretization; State Machine; Harel StateChart; Guarded Transition System

Domaines: Modélisation et simulation

Julien Vidalie, Mohamed-Sami Kendel, Faïda Mhenni, Michel Batteux, Jean-Yves Choley. State Machines Consistency between Model Based System Engineering and Safety Assessment Models. 7th International Symposium on Systems Engineering, Sep 2021, Vienna, Austria. ⟨10.1109/ISSE51541.2021.9582470⟩. ⟨hal-03550895⟩