Toggle Main Menu Toggle Search

Open Access padlockePrints

Safety verification of modern railway signalling with the SafeCap platform

Lookup NU author(s): Paulius Stankaitis, Dr Alexei Iliasov


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


© 2017 IEEE. Modernising outdated national railway systems will be done gradually due to practical constraints thus creating network areas with different signalling systems. Formal methods have been successfully applied in the railway domain for years. Yet the latest railway challenges such as heterogeneous railway signalling will require novel modelling techniques and adequate verification tools support. The SafeCap platform was developed with an objective to enable railway engineers to design and formally verify safety of railway networks without prior knowledge of formal methods. This research aims to improve the existing SafeCap platform to allow users to reason about novel signalling systems including heterogeneous railway networks. In this short paper we present the main challenges in developing practical but formal SafeCap approach.

Publication metadata

Author(s): Stankaitis P, Iliasov A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 28th International Symposium on Software Reliability Engineering Workshops (ISSREW 2017)

Year of Conference: 2017

Pages: 153-156

Online publication date: 16/11/2017

Acceptance date: 02/04/2016

Publisher: IEEE


DOI: 10.1109/ISSREW.2017.66

Library holdings: Search Newcastle University Library for this item

ISBN: 9781538623879