The University of Southampton
University of Southampton Institutional Repository

Formal modelling techniques for efficient development of railway control products

Butler, Michael, Dghaym, Dana, Fischer, Tomas, Hoang, Thai Son, Reichl, Klaus, Snook, Colin and Tummeltshammer, Peter (2017) Formal modelling techniques for efficient development of railway control products At International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification, Pistoia, Italy. 14 - 16 Nov 2017. (Submitted).

Record type: Conference or Workshop Item (Paper)

Abstract

We wish to model railway control systems in a formally precise way so that product lines can be adapted to specific customer requirements. Typically a customer is a railway operator with national conventions leading to different variation points based on a common core principle. A formal model of the core product must be precise and manipulatable so that different feature variations can be specified and verified without disrupting important properties that have already been established in the core product. Cyber-physical systems such as railway interlocking, are characterised by the combination of device behaviours resulting in an overall safe system behaviour. Hence there is a strong need for correct sequential operation with safety “interlocks” making up a process. We utilise diagrammatic modelling tools to make the core product more accessible to systems engineers. The RailGround example used to discuss these techniques is an open source model of a railway control system that has been made available by Thales Austria GmbH for research purpose, which demonstrates some fundamental modelling challenges.

Text RailGround - Author's Original
Download (625kB)

More information

Submitted date: 12 June 2017
Accepted/In Press date: 8 July 2017
Venue - Dates: International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification, Pistoia, Italy, 2017-11-14 - 2017-11-16
Keywords: Event-B, iUML-B, ERS, Interlocking

Identifiers

Local EPrints ID: 412075
URI: http://eprints.soton.ac.uk/id/eprint/412075
PURE UUID: 6687e8c5-1b4a-417d-9da0-ecde60d14b8a
ORCID for Michael Butler: ORCID iD orcid.org/0000-0003-4642-5373
ORCID for Dana Dghaym: ORCID iD orcid.org/0000-0002-2196-2749
ORCID for Thai Son Hoang: ORCID iD orcid.org/0000-0003-4095-0732
ORCID for Colin Snook: ORCID iD orcid.org/0000-0002-0210-0983

Catalogue record

Date deposited: 06 Jul 2017 16:30
Last modified: 21 Sep 2017 16:31

Export record

Contributors

Author: Michael Butler ORCID iD
Author: Dana Dghaym ORCID iD
Author: Tomas Fischer
Author: Thai Son Hoang ORCID iD
Author: Klaus Reichl
Author: Colin Snook ORCID iD
Author: Peter Tummeltshammer

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.

×