P. Stankaitis | A. Iliasov | A. Romanovsky
OPEN ACCESS
All large railway networks use a mixture of outdated, modern and emerging signalling and train operation principles. There is a need to develop novel modelling and verification mechanisms to support mixed traffic scenarios, including, for example, mixing different types of signalling and driving. In our previous work we introduced the Unified Train Driving Policy (UTDP) formal modelling language for uniformly capturing diverse signalling principles and mixing, in a demonstratively safe manner, at the node and/or network-level novel and legacy signalling principles. This paper describes our work on making UTDP practical and useful for the engineers.
advanced railway control systems, simulation, formal methods, automatic train operation (ATO), Unified Train Driving Policy
[1] Abril, M., Barber, F., Ingolotti, L., Salido, M.A., Tormos, P. Lova, A., An assessmentof railway capacity. Transportation Research Part E: Logistics and TransportationReview, 44, pp. 774–806, 2008.
[2] IMPROVERAIL project. Deliverable D10 of the project. 2003.
[3] European Commission. EU Policy and Its Impact on the Rail System. 2006.
[4] A. González-Gil, R. Palacin, P. Batty, J.P. Powell., A systems approach to reduce urbanrail energy consumption. Energy Conversion and Management, 80, pp. 509–524. 2014.
[5] OpenTrack Simulation Platform, www.opentrack.ch
[6] RailSyS Simulation Platform, www.rmcon.de
[7] Stankaitis, P., Iliasov, A., Safety Verification of Heterogeneous Railway Networks.International Conference: Reliability, Safety and Security of Railway Systems. 2016.
[8] Abrial, J.R., The B-Book. Cambridge University Press. New York, NY, 1996.
[9] Essame, D. Dolle, D., B in Large-Scale Projects: The Canarsie Line CBTC Experience.LNCS, vol. 4355. Springer, pp. 252–254, 2007.
[10] Iliasov, A., Romanovsky, A., SafeCap domain language for reasoning about safetyand capacity. Workshop on Dependable Transportation Systems at the Pacific-RimDependable Computing Conference. 2012.
[11] Luethi, M., Nash, A., Weidmann, U., Laube, F., Wuest, R., Increasing Railway Capacityand Reliability through Integrated Real-Time Rescheduling. Institute for TransportPlanning and Systems, ETH Zurich. 2007.
[12] Li, Wei., Tang, Tao., The impact of signalling system heterogeneity on urban transitcapacity. IEEE International Conference on Intelligent Rail Transportation (ICIRT),pp. 123–127, 2013.
[13] Grube, P., Núñez, F., Cipriano, A., An event-driven simulator for multi-line metrosystems and its application to Santiago de Chile metropolitan rail network. SimulationModelling Practice and Theory, 19, pp. 393–405, 2011.
[14] Paolucci, M., Pesenti, R., An Object-Oriented Approach to Discrete-Event SimulationApplied to Underground Railway Systems. Transactions of the Society for Modellingand Simulation, 72(6) pp. 372–383, 1999.
[15] Iliasov, A., Lopatkin, I., Romanovsky, A., Unified Train Driving Policy. In FormalMethods Applied to Complex Systems, eds. J.-L. Boulanger, Wiley, pp. 447–473, 2014.
[16] SafeCap Simulation Platform, www.safecap.co.uk