A Study on SysML and AltaRica Models Transformation
Nga Nguyen, Faïda Mhenni, Jean‐Yves Choley · 2020 IEEE International Systems Conference (SysCon) · 2020
Today's systems involve increasing functionality and different engineering domains, and thus are getting more complex. To deal with this complexity while designing safety-critical systems, it is required to integrate systems engineering and safety assessment to support functional and dysfunctional behaviors as early as possible. The use of models is also compulsory for the design of complex systems to perform simulations and evaluate several alternatives with regard to various requirements and constraints. In this paper, we propose to explore the feasibility of a model transformation to automatically generate safety analysis models with AltaRica 3.0 from system models with SysML. The meta-models linking the two languages that share some similar concepts to model system architecture and behavior are used to generate classes, blocks, events, transitions and assertions in AltaRica. Starting from the same system specification, the automatically generated safety code from systems engineering models can be compared to code written manually by safety engineers to verify if they are semantically equivalent. This transformation provides systems engineers and safety experts with means to collaborate, reduces error-proneness and inconsistencies, and ensures that safety experts perform safety assessment on up-to-date system models.