Toggle Main Menu Toggle Search

Open Access padlockePrints

Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation

Lookup NU author(s): Dr Alexei Iliasov, Professor Roberto Palacin, Professor Alexander RomanovskyORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


© Springer International Publishing Switzerland 2014. 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.

Publication metadata

Author(s): Iliasov A, Palacin R, Romanovsky A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: SERENE 2014: Software Engineering for Resilient Systems

Year of Conference: 2014

Pages: 131-138

Online publication date: 16/10/2014

Acceptance date: 01/01/1900

Publisher: Springer, Cham


DOI: 10.1007/978-3-319-12241-0_10

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783319122403