ABSTRACT
In order to bridge the gap between Model-Based Systems Engineering and Model-Based Safety Assessment, we propose in this paper a language transformation between SysML semi-formal models and the formal language AltaRica 3.0. Meta-data of SysML Block Definition Diagram and Internal Block Diagram that describe system architecture as well as meta-data of SysML State Machine Diagram that represent system behavior (in a limited formalism with respect to AltaRica’s Guarded Transitions System) are used to generate AltaRica classes, blocks, events, transitions, etc. Flow port directions and connectors are used to create flow propagation assertions. The object and prototype-oriented paradigm of AltaRica 3.0 with class, composition, inheritance, etc. will be respected since SysML and AltaRica’s System Structure Modeling Language share commonalities in structuring constructs. It is obvious that one modeling language cannot be replaced by the other because their goals and domains are different, but the mapping between languages such as SysML and AltaRica allows better understanding and communication between systems engineers and safety experts. Once the preliminary AltaRica 3.0 code is generated with structural and behavioral information, safety experts will complete and validate the code with stochastic models, synchronization, common cause failures and redundancy mechanism to carry out safety assessment based on the expressive power of the language, thanks to its mathematical framework.
