Friedemann Bitsch, Marco Filax, Tim Gonschorek, Frank Ortmeier, Rolf Schumacher: Effiziente Sicherheitsnachweisführung mithilfe modellbasierter Systemanalyse. In: Signal + Draht, 2017.

Abstract

This paper introduces a model-based computer-aided
methodology for safety analyses in development and as-
sessment processes for signalling and train control systems.
The objective is to realise the application of model-based for-
mal methods and simultaneously to reduce the outlay for us-
ing them to a degree acceptable in industrial practice. Instead
of performing safety analyses in parallel with the develop-
ment process, existing system analyses and design models are
used for deriving the necessary safety analyses models as au-
tomatically as possible. Therefore, statements on safety and
correctness can already be calculated in early development
phases with precise results. Those early statements are deci-
sive, because they make it possible to adapt and correct the
system design at an early stage and to do it cost-efficiently.

BibTeX (Download)

@article{Bitsch2017,
title = {Effiziente Sicherheitsnachweisf\"{u}hrung mithilfe modellbasierter Systemanalyse},
author = {Friedemann Bitsch and Marco Filax and Tim Gonschorek and Frank Ortmeier and Rolf Schumacher},
editor = {DVV Media Group},
url = {https://cse.cs.ovgu.de/cse-wordpress/wp-content/uploads/2017/10/2017_BitschEtAl_EffizienteSicherheitsnachweisf\"{u}hrung.pdf},
year  = {2017},
date = {2017-06-01},
journal = {Signal + Draht},
abstract = {This paper introduces a model-based computer-aided
methodology for safety analyses in development and as-
sessment processes for signalling and train control systems.
The objective is to realise the application of model-based for-
mal methods and simultaneously to reduce the outlay for us-
ing them to a degree acceptable in industrial practice. Instead
of performing safety analyses in parallel with the develop-
ment process, existing system analyses and design models are
used for deriving the necessary safety analyses models as au-
tomatically as possible. Therefore, statements on safety and
correctness can already be calculated in early development
phases with precise results. Those early statements are deci-
sive, because they make it possible to adapt and correct the
system design at an early stage and to do it cost-efficiently.},
keywords = {integration of formal methods, model-based safety assessment},
pubstate = {published},
tppubtype = {article}
}