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 Romanovsky

Downloads

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


Abstract

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

URL: http://dx.doi.org/10.1007/978-3-642-40894-6_10

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


Actions

Find at Newcastle University icon    Link to this publication


Share