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.


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: 6th International Workshop, SERENE 2014

Year of Conference: 2014

Pages: 131-138

Print publication date: 11/09/2014

ISSN: 0302-9743

Publisher: Springer


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

Notes: Online ISBN: 9783319122410

Library holdings: Search Newcastle University Library for this item

Series Title: Software Engineering for Resilient Systems

ISBN: 9783319122403