Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal Modelling of Railway Safety and Capacity

Lookup NU author(s): Dr Alexei Iliasov, Professor Alexander Romanovsky

Downloads


Abstract

Development of future railway systems requires a rigorous modelling of safety and capacity conducted in an integrated way. Supported by EPSRC and Rail Safety and Standards Board the SafeCap project laid the foundations for overcoming challenges to railway capacity without undermining rail network safety. The main outcome of the project is the SafeCap Toolset, which relies on a formal Domain Specific Language, safety verification and capacity simulation methodologies. The work was conducted in close cooperation with Siemens Rail Automation and evaluated using the layouts of a number of UK stations. The Toolset is being further actively developed and evaluated in a series of industrial and impact acceleration projects.


Publication metadata

Author(s): Romanovsky A; Iliasov A

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2015

Pages: 18

Online publication date: 01/01/2015

Report Number: 1444

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1444.pdf


Share