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

Nowadays with the development of industrial systems, engineers are having more difficulties to design complex systems, meaning that they have to conduct several simulations to design system models. In the case of safety assessment, this creates a need for the safety model to be consistent with the system engineering model, since both models are supposed to represent the same architecture. In this work we present a methodology for synchronisation of two kinds of state machines, Harel’s Statecharts and Guarded Transition Systems. These formalisms are used to model system behavior respectively in MBSE (Model Based System Engineering) and MBSA (Model Based Safety Assessment) tools. This methodology, based on the SmartSync framework [1] that aims at asserting structural consistency between MBSE and MBSA, is composed of 3 steps: abstraction to a pivot formalism, comparison and concretization. We compare two mappings of concepts used for translation from our state machines to the S2ML language.