A railway simulation suite for modelling advanced railway control systems
Paulius Stankaitis, Alexei Iliasov, Alexander B. Romanovsky · International Journal of Transport Development and Integration · 2017
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.