loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Simon Hordvik 1 ; Kristoffer Øseth 1 ; Jan Olaf Blech 2 and Peter Herrmann 1

Affiliations: 1 Norwegian University of Science and Technology, Norway ; 2 RMIT University, Australia

Keyword(s): Software Engineering, Spatial Modeling, Cyber-physical Systems.

Related Ontology Subjects/Areas/Topics: Application Integration Technologies ; Applications ; Cross-Feeding between Data and Software Engineering ; Formal Methods ; Model-Driven Engineering ; Service-Oriented Software Engineering and Management ; Simulation and Modeling ; Software and Systems Development Methodologies ; Software Engineering ; Software Engineering Methods and Techniques ; Software Process Improvement

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.97.14.84

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - ENASE; ISBN 978-989-758-189-2; ISSN 2184-4895, SciTePress, pages 91-101. DOI: 10.5220/0005828800910101

@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 - ENASE},
year={2016},
pages={91-101},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005828800910101},
isbn={978-989-758-189-2},
issn={2184-4895},
}

TY - CONF

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