Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier: Integrating Safety Design Artifacts into System Development Models Using SafeDeML. In: Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis; Bozzano, Marco (Hrsg.): Model-Based Safety and Assessment, S. 93–106, Springer International Publishing, Cham, 2019, ISBN: 978-3-030-32872-6.

Abstract

Applying a safety artifact language as Safety Design Modeling Language SafeDeML integrates the generation of the safety design into the system modeling stage -- directly within the system architecture. In this paper, we present a modeling process and a prototype for the CASE tool Enterprise Architect for SafeDeML. The goal is to support the system designer in developing a standard (in this paper Iso 26262) conform system and safety design containing all relevant safety artifact within one model. Such integration offers several modeling guarantees like consistency checks or computation of coverage and fault metrics. Since all relevant information and artifacts are contained within the model, SafeDeML and the prototype can help to decrease the effect of structural faults during the safety design and further supports the safety assessment. To give an idea to the reader of the complexity of the approach's application, we present an exemplary implementation of the safety design for a brake light system, a real case-study from the Iso 26262 context.

BibTeX (Download)

@inproceedings{10.1007/978-3-030-32872-6_7,
title = {Integrating Safety Design Artifacts into System Development Models Using SafeDeML},
author = {Tim Gonschorek and Philipp Bergt and Marco Filax and Frank Ortmeier},
editor = {Yiannis Papadopoulos and Koorosh Aslansefat and Panagiotis Katsaros and Marco Bozzano},
url = {https://link.springer.com/chapter/10.1007/978-3-030-32872-6_7},
doi = {10.1007/978-3-030-32872-6_7},
isbn = {978-3-030-32872-6},
year  = {2019},
date = {2019-09-18},
booktitle = {Model-Based Safety and Assessment},
pages = {93--106},
publisher = {Springer International Publishing},
address = {Cham},
abstract = {Applying a safety artifact language as Safety Design Modeling Language SafeDeML integrates the generation of the safety design into the system modeling stage -- directly within the system architecture. In this paper, we present a modeling process and a prototype for the CASE tool Enterprise Architect for SafeDeML. The goal is to support the system designer in developing a standard (in this paper Iso 26262) conform system and safety design containing all relevant safety artifact within one model. Such integration offers several modeling guarantees like consistency checks or computation of coverage and fault metrics. Since all relevant information and artifacts are contained within the model, SafeDeML and the prototype can help to decrease the effect of structural faults during the safety design and further supports the safety assessment. To give an idea to the reader of the complexity of the approach's application, we present an exemplary implementation of the safety design for a brake light system, a real case-study from the Iso 26262 context.},
keywords = {model-based, model-based safety assessment, safety design},
pubstate = {published},
tppubtype = {inproceedings}
}