A Methodology for Model-based Development and Safety Analysis of Transport Systems

Simon Hordvik, Kristoffer Øseth, Jan Olaf Blech, Peter Herrmann

2016

Abstract

We present a method to engineer the control software of transport systems and analyze their safety using the Reactive Blocks framework. The development benefits from the model-based approach and makes the analysis of the systems at design time possible. The software is analyzed for freedom of collisions and other spatiotemporal properties by combining test runs of already existing devices to find out their physical constraints with the analysis of simulation runs using the verification tool BeSpaceD. This allows us to discover potential safety hazards already during the development of the control software. In particular, we introduce a methodology for the engineering and safety analysis of transportation systems and elaborate its practical usability by means of a demonstrator based on Lego Mindstorms.

Paper Citation

in Harvard Style

Hordvik S., Øseth K., Blech J. and Herrmann P. (2016). A Methodology for Model-based Development and Safety Analysis of Transport Systems . In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-189-2, pages 91-101. DOI: 10.5220/0005828800910101

in Bibtex Style

@conference{enase16,
author={Simon Hordvik and Kristoffer Øseth and Jan Olaf Blech and Peter Herrmann},
title={A Methodology for Model-based Development and Safety Analysis of Transport Systems},
booktitle={Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: ENASE,},
year={2016},
pages={91-101},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005828800910101},
isbn={978-989-758-189-2},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: ENASE,
TI - A Methodology for Model-based Development and Safety Analysis of Transport Systems
SN - 978-989-758-189-2
AU - Hordvik S.
AU - Øseth K.
AU - Blech J.
AU - Herrmann P.
PY - 2016
SP - 91
EP - 101
DO - 10.5220/0005828800910101