Enhancing railway signalling systems thanks to applying satellite positioning; developing an on-board safe Train Integrity; applying formal methods approach and standardised interfaces, and enhancing Traffic Management System (TMS) functions For the full topic description, please refer to Annex I (2017 Call for proposals for the JU members) of the 2017 Annual Work Plan.