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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
The Rail Technical Strategy 2012. The Technical Strategy Leadership Group, UK (2012), www.futurerailway.org/RTS/Pages/Intro.aspx
The SafeCap project: Overcoming the railway capacity challenges without undermining rail network safety, http://safecap.cs.ncl.ac.uk
Iliasov, A., Romanovsky, A.: SafeCap domain language for reasoning about safety and capacity. In: Workshop on Dependable Transportation Systems at the Pacific-Rim Dependable Computing Conference (PRDC 2012), Niigata, Japan. IEEE CS (2012)
Iliasov, A., Romanovsky, A.: The SafeCap toolset for improving railway capacity while ensuring its safety. In: Rail Research UK Association (RRUKA) Annual Conference, London, UK (November 2012), http://rruka.org.uk/rruka-annual-conference-2012-conference-proceedings/
Iliasov, A., Lopatkin, I., Romanovsky, A.: The SafeCap Platform for Modelling Railway Safety and Capacity. In: Bitsch, F., Guiochet, J., Kaâniche, M. (eds.) SAFECOMP 2013. LNCS, vol. 8153, pp. 130–137. Springer, Heidelberg (2013)
Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press (1996)
The ProB Animator and Model Checker. Dusseldorf University, http://www.stups.uni-duesseldorf.de/ProB
Epsilon Generation Language, http://www.eclipse.org/epsilon/doc/egl/
The Z3 theorem prover. MS, http://z3.codeplex.com/
The Yices SMT solver. SRI, http://yices.csl.sri.com/
The Vampire theorem prover. University of Manchester, http://www.vprover.org/
Abrial, J.-R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press (2010)
Pachl, J.: Railway operation and control. VTD Rail Publishing (2009)
Assessment of capacity allocation and utilisation of capacity constrained parts of the GB rail network. SKM Colin Buchanan (2012), http://www.rail-reg.gov.uk/pr13/PDF/skm-capacity-utilisation-aug-2012.pdf
Eclipse Modeling Framework Project (EMF), http://www.eclipse.org/modeling/emf/
Eclipse Graphical Modeling Project (GMF), http://www.eclipse.org/modeling/gmp/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Iliasov, A., Lopatkin, I., Romanovsky, A. (2013). The SafeCap Project on Railway Safety Verification and Capacity Simulation. In: Gorbenko, A., Romanovsky, A., Kharchenko, V. (eds) Software Engineering for Resilient Systems. SERENE 2013. Lecture Notes in Computer Science, vol 8166. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40894-6_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-40894-6_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40893-9
Online ISBN: 978-3-642-40894-6
eBook Packages: Computer ScienceComputer Science (R0)