Toggle Main Menu Toggle Search

Open Access padlockePrints

The SafeCap toolset for improving railway capacity while ensuring its safety

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



The on-going RSSB/EPSRC UK SafeCap project develops modelling techniques and tools for improving railway capacity while ensuring that safety standards are maintained. This paper reports recent SafeCap results on designing a Domain Specific Language (DSL), a verification infrastructure and the approaches to estimating and improving capacity.

Publication metadata

Author(s): Iliasov A, Romanovsky A

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2012

Pages: 9

Print publication date: 01/10/2012

Source Publication Date: October 2012

Report Number: 1354

Institution: Newcastle University

Place Published: Newcastle upon Tyne