Toggle Main Menu Toggle Search

Open Access padlockePrints

The SafeCap Project on Railway Safety Verification and Capacity Simulation

Lookup NU author(s): Dr Alexei Iliasov, Dr Ilya Lopatkin, Professor Alexander RomanovskyORCiD


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


This paper introduces the UK SafeCap project on Overcoming the railway capacity challenges without undermining rail network safety. The focus of the project has been on developing methods and tools that will allow signalling engineers to model railway nodes (junctions and stations), to verify their safety and to analyse the node capacity provided the safety is ensured. The paper outlines the project approach, its objectives and the outcomes. The main result of the project is the development of a method for analysing railway safety and capacity in a unified way and the Eclipse-based SafeCap platform supporting this method. The platform is extendable with the new modelling plugins and is openly available at SourceForge. It has been developed in a close cooperation with industry and thoroughly evaluated using the layouts of several UK railway stations.

Publication metadata

Author(s): Iliasov A, Lopatkin I, Romanovsky A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 5th International Workshop SERENE 2013

Year of Conference: 2013

Pages: 125-132

ISSN: 9783642408946

Publisher: Springer


DOI: 10.1007/978-3-642-40894-6_10

Library holdings: Search Newcastle University Library for this item

Series Title: Software Engineering for Resilient Systems: Lecture Notes in Computer Science

ISBN: 9783642408939