Name
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
2020 | 10.1109/SysCon47679.2020.9275868 | 2020 IEEE International Systems Conference (SysCon) |
Keywords | DocType | ISSN |
safety assessment,functional behaviors,dysfunctional behaviors,complex systems,model transformation,safety analysis models,AltaRica 3.0,SysML,meta-models,model system architecture,system specification,automatically generated safety code,systems engineering models,safety engineers,systems engineers,safety experts,up-to-date system models,AltaRica models transformation,safety-critical systems,engineering domains | Conference | 1944-7620 |
ISBN | Citations | PageRank |
978-1-7281-5366-7 | 0 | 0.34 |
References | Authors | |
2 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Nga Nguyen | 1 | 8 | 2.29 |
| Mhenni, F. | 2 | 9 | 4.67 |
| Jean-Yves Choley | 3 | 41 | 17.81 |