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.
Links
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} }