Javascript is required
[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
[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
Search

Acadlore takes over the publication of IJTDI from 2025 Vol. 9, No. 4. The preceding volumes were published under a CC BY 4.0 license by the previous owner, and displayed here as agreed between Acadlore and the previous owner. ✯ : This issue/volume is not published by Acadlore.

Open Access
Research article

A Railway Simulation Suite for Modelling Advanced Railway Control Systems

p. stankaitis,
a. iliasov,
a. romanovsky
Centre for Software Reliability, Newcastle University, UK
International Journal of Transport Development and Integration
|
Volume 1, Issue 3, 2017
|
Pages 558-567
Received: N/A,
Revised: N/A,
Accepted: N/A,
Available online: N/A
View Full Article|Download PDF

Abstract:

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.

Keywords: advanced railway control systems, simulation, formal methods, automatic train operation (ATO), Unified Train Driving Policy
References
[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
[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
Cite this:
APA Style
IEEE Style
BibTex Style
MLA Style
Chicago Style
GB-T-7714-2015
Stankaitis, P., Iliasov, A., & Romanovsky, A. (2017). A Railway Simulation Suite for Modelling Advanced Railway Control Systems. Int. J. Transp. Dev. Integr., 1(3), 558-567. https://doi.org/10.2495/TDI-V1-N3-558-567
P. Stankaitis, A. Iliasov, and A. Romanovsky, "A Railway Simulation Suite for Modelling Advanced Railway Control Systems," Int. J. Transp. Dev. Integr., vol. 1, no. 3, pp. 558-567, 2017. https://doi.org/10.2495/TDI-V1-N3-558-567
@research-article{Stankaitis2017ARS,
title={A Railway Simulation Suite for Modelling Advanced Railway Control Systems},
author={P. Stankaitis and A. Iliasov and A. Romanovsky},
journal={International Journal of Transport Development and Integration},
year={2017},
page={558-567},
doi={https://doi.org/10.2495/TDI-V1-N3-558-567}
}
P. Stankaitis, et al. "A Railway Simulation Suite for Modelling Advanced Railway Control Systems." International Journal of Transport Development and Integration, v 1, pp 558-567. doi: https://doi.org/10.2495/TDI-V1-N3-558-567
P. Stankaitis, A. Iliasov and A. Romanovsky. "A Railway Simulation Suite for Modelling Advanced Railway Control Systems." International Journal of Transport Development and Integration, 1, (2017): 558-567. doi: https://doi.org/10.2495/TDI-V1-N3-558-567
STANKAITIS P， ILIASOV A， ROMANOVSKY A. A Railway Simulation Suite for Modelling Advanced Railway Control Systems[J]. International Journal of Transport Development and Integration， 2017， 1(3)： 558-567. https://doi.org/10.2495/TDI-V1-N3-558-567