Abstract
This paper introduces a new project supported by the UK Technical Strategy Leadership Group (TSLG) to contribute to its vision of Future Traffic Regulation Optimisation (FuTRO). In this project Newcastle University will closely cooperate with Siemens Rail Automation on developing novel modelling, verification and simulation techniques and tools that support and explore in an integrated approach to efficient dynamic improvement of capacity and energy consumption of railway networks and nodes while ensuring whole systems safety. The SafeCap+ (or SafeCap for FuTRO) project builds on the two previous projects (SafeCap and SafeCap Impact) which have developed a novel modelling environment that helps signalling engineers to design nodes (stations or junctions) in a way that guarantees their safety and allows engineers to explore different design options to select the ones that ensure the improved node capacity.
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), http://www.futurerailway.org/RTS/Pages/Intro.aspx
European Rail Traffic Management System, http://www.ertms.net
Technical Strategy Leadership Group, UK, http://www.rssb.co.uk/groups-and-committees/rssb-board/technical-strategy/technical-strategy-leadership-group
The SafeCap project: Overcoming the railway capacity challenges without undermining rail network safety, http://www.safecap.co.uk/
The SafeCap Eclipse environment for improving node capacity using formal methods, http://safecap.sourceforge.net/index.shtml
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)
Iliasov, A., Lopatkin, I., Romanovsky, A.: The SafeCap Project on Railway Safety Verification and Capacity Simulation. In: Gorbenko, A., Romanovsky, A., Kharchenko, V. (eds.) SERENE 2013. LNCS, vol. 8166, pp. 125–132. Springer, Heidelberg (2013)
Iliasov, A., Lopatkin, I., Mihut, A., Romanovsky, A.: Real-time ATO reconfiguration for operational stability. In: Computers in Railways XIV: Railway Engineering Design and Optimization 135, pp. 163–173. WIT Press (2014)
González-Gil, A., Palacin, R., Batty, P., Powell, J.P.: A systems approach to reduce urban rail energy consumption. Energy Conversion and Management 80, 509–524 (2014)
Powell, J.P., González-Gil, A., Palacin, R.: Experimental assessment of the energy consumption of urban rail vehicles during stabling hours: influence of ambient temperature. Applied Thermal Engineering 66(1-2), 541–547 (2014)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Iliasov, A., Palacin, R., Romanovsky, A. (2014). Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation. In: Majzik, I., Vieira, M. (eds) Software Engineering for Resilient Systems. SERENE 2014. Lecture Notes in Computer Science, vol 8785. Springer, Cham. https://doi.org/10.1007/978-3-319-12241-0_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-12241-0_10
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-12240-3
Online ISBN: 978-3-319-12241-0
eBook Packages: Computer ScienceComputer Science (R0)