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.118.149.55

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

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic