loading
  • Login
  • Sign-Up

Research.Publish.Connect.

Paper

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

ISBN: 978-989-758-189-2

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.

PDF ImageFull Text

Download
Sign In Guest: Register as new SCITEPRESS user or Join INSTICC now for free.

Sign In SCITEPRESS user: please login.

Sign In INSTICC Members: please login. If not a member yet, Join INSTICC now for free.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.81.210.42. INSTICC members have higher download limits (free membership now)

In the current month:
Recent papers: 1 available of 1 total
2+ years older papers: 2 available of 2 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 EngineeringISBN 978-989-758-189-2, 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},
year={2016},
pages={91-101},
doi={10.5220/0005828800910101},
isbn={978-989-758-189-2},
}

TY - CONF

JO - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering
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

Sorted by: Show papers

Note: The preferred Subjects/Areas/Topics, listed below for each paper, are those that match the selected paper topics and their ontology superclasses.
More...

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.

Show authors

Note: The preferred Subjects/Areas/Topics, listed below for each author, are those that more frequently used in the author's papers.
More...