The University of Southampton
University of Southampton Institutional Repository

Validation of railway control systems

Validation of railway control systems
Validation of railway control systems
This chapter presents the results of the railway domain. It focuses on the validation of a route control system using a model-based approach and formal methods. A main technical challenge is the automation of the translation step between a formalized specification and a mathematical model which allows for proofs of functional and safety properties of the solution.

The chapter will demonstrate the application and evaluation of the approach. It will show that the application of the methodologies is not only recommended by safety standards but offers the possibility to ease the verification and validation process by introducing automation steps and using methods to create results which are understandable by domain experts.
221-229
Springer International Publishing
Fischer, Tomas
2d38d5a2-37f5-444d-89ef-9e2ddce89e09
Reichl, Klaus
51d614c8-72dc-4722-8c4a-bbcb26ce7897
Tummeltshammer, Peter
cc3e1edb-28e7-4b15-824b-8c618d98460a
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Leitner, A.
Watzenig, D.
Ibanez-Guzman, J.
Fischer, Tomas
2d38d5a2-37f5-444d-89ef-9e2ddce89e09
Reichl, Klaus
51d614c8-72dc-4722-8c4a-bbcb26ce7897
Tummeltshammer, Peter
cc3e1edb-28e7-4b15-824b-8c618d98460a
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Leitner, A.
Watzenig, D.
Ibanez-Guzman, J.

Fischer, Tomas, Reichl, Klaus, Tummeltshammer, Peter, Hoang, Thai Son and Butler, Michael (2020) Validation of railway control systems. In, Leitner, A., Watzenig, D. and Ibanez-Guzman, J. (eds.) Validation and Verification of Automated Systems. (Validation and Verification of Automated Systems, , (doi:10.1007/978-3-030-14628-3_17)) Cham. Springer International Publishing, pp. 221-229. (doi:10.1007/978-3-030-14628-3_17).

Record type: Book Section

Abstract

This chapter presents the results of the railway domain. It focuses on the validation of a route control system using a model-based approach and formal methods. A main technical challenge is the automation of the translation step between a formalized specification and a mathematical model which allows for proofs of functional and safety properties of the solution.

The chapter will demonstrate the application and evaluation of the approach. It will show that the application of the methodologies is not only recommended by safety standards but offers the possibility to ease the verification and validation process by introducing automation steps and using methods to create results which are understandable by domain experts.

Full text not available from this repository.

More information

e-pub ahead of print date: 11 November 2019
Published date: 2020

Identifiers

Local EPrints ID: 439609
URI: http://eprints.soton.ac.uk/id/eprint/439609
PURE UUID: 5e661b98-ec87-4c6a-a663-cc3bdfc0828e
ORCID for Thai Son Hoang: ORCID iD orcid.org/0000-0003-4095-0732
ORCID for Michael Butler: ORCID iD orcid.org/0000-0003-4642-5373

Catalogue record

Date deposited: 28 Apr 2020 16:30
Last modified: 21 May 2020 00:35

Export record

Altmetrics

Contributors

Author: Tomas Fischer
Author: Klaus Reichl
Author: Peter Tummeltshammer
Author: Thai Son Hoang ORCID iD
Author: Michael Butler ORCID iD
Editor: A. Leitner
Editor: D. Watzenig
Editor: J. Ibanez-Guzman

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×