Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier, Jan von Hoyningen-Hüne, Thorsten Piper: SafeDeML: On Integrating the Safety Design into the System Model. In: Romanovsky, Alexander; Troubitsyna, Elena; Bitsch, Friedemann (Hrsg.): Computer Safety, Reliability, and Security, S. 271–285, Springer International Publishing, Cham, 2019, ISBN: 978-3-030-26601-1.

Abstract

The safety design definition of a safety critical system is a complex task. On the one hand, the system designer must ensure that he addressed all potentially hazardous harwdware faults. This is often defined not(!) in the model but within extra documents (e.g., Excel sheets). On the other hand, all defined safety mechanisms must be transformed back into the system model. We think an improvement for the designer would be given by a modeling extension integrating relevant safety design artifacts into the normal design work-flow and supporting the safety design development directly from within the model.

BibTeX (Download)

@inproceedings{10.1007/978-3-030-26601-1_19,
title = {SafeDeML: On Integrating the Safety Design into the System Model},
author = {Tim Gonschorek and Philipp Bergt and Marco Filax and Frank Ortmeier and Jan von Hoyningen-H\"{u}ne and Thorsten Piper},
editor = {Alexander Romanovsky and Elena Troubitsyna and Friedemann Bitsch},
url = {https://cse.cs.ovgu.de/cse-wordpress/wp-content/uploads/2020/04/GonschorekEtAl_SafeDeML.pdfhttps://link.springer.com/chapter/10.1007/978-3-030-26601-1_19},
doi = {10.1007/978-3-030-26601-1_19},
isbn = {978-3-030-26601-1},
year  = {2019},
date = {2019-09-18},
booktitle = {Computer Safety, Reliability, and Security},
pages = {271--285},
publisher = {Springer International Publishing},
address = {Cham},
abstract = {The safety design definition of a safety critical system is a complex task. On the one hand, the system designer must ensure that he addressed all potentially hazardous harwdware faults. This is often defined not(!) in the model but within extra documents (e.g., Excel sheets). On the other hand, all defined safety mechanisms must be transformed back into the system model. We think an improvement for the designer would be given by a modeling extension integrating relevant safety design artifacts into the normal design work-flow and supporting the safety design development directly from within the model.},
keywords = {model-based safety assessment, safety design integration},
pubstate = {published},
tppubtype = {inproceedings}
}