Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems 2012
DOI: 10.1145/2432631.2432635
|View full text |Cite
|
Sign up to set email alerts
|

Automatic SysML-based safety analysis

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
15
0

Year Published

2016
2016
2023
2023

Publication Types

Select...
5
2
1

Relationship

0
8

Authors

Journals

citations
Cited by 24 publications
(15 citation statements)
references
References 8 publications
0
15
0
Order By: Relevance
“…A safety requirement is identified for the system function or component to prevent the hazard from occurring. However, the drawback of this approach or of any model-based safety analysis method that requires a model-to-model transformation [37]- [41], lies in the challenge of maintaining consistency between the safety artifact and the system design and safety model, as well as the increased possibility of data loss during the transformation [9], [43]. To the best of the authors' knowledge, model transformation of the safety artifact back to the safety model has not been implemented.…”
Section: Literature Reviewmentioning
confidence: 99%
“…A safety requirement is identified for the system function or component to prevent the hazard from occurring. However, the drawback of this approach or of any model-based safety analysis method that requires a model-to-model transformation [37]- [41], lies in the challenge of maintaining consistency between the safety artifact and the system design and safety model, as well as the increased possibility of data loss during the transformation [9], [43]. To the best of the authors' knowledge, model transformation of the safety artifact back to the safety model has not been implemented.…”
Section: Literature Reviewmentioning
confidence: 99%
“…For the integration of SA and MBSE, most of the works considered the extention of system models to enable the automatic generation of safety artifacts. In [12], Helle proposed a methodology that deals with the integration of the MBSA in the MBSE process. A SysML extension is created in order to include information about safety in the system model, which gives an opportunity to the systems expert to make some decisions without the assistance of the safety expert.…”
Section: State Of the Artmentioning
confidence: 99%
“…Hence, the integration of safety assessment into the systems engineering process is very important. To narrow the gap between SE and SA and thus enhance consistency and reduce late design changes, many research works dealt with the integration between MBSE and SA, such as in [5][6][7][8][9][10][11][12][13][14].…”
Section: Introductionmentioning
confidence: 99%
“…For instance, SysML [29] models (with a specific profile) can be used to automatically compute the system-level failure rates [30].…”
Section: Study Of Safety and Availability In Mechatronic Systemsmentioning
confidence: 99%