Toggle Main Menu Toggle Search

ePrints

The SafeCap toolset for improving railway capacity while ensuring its safety

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

Downloads


Abstract

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

Series Title: School of Computing Science Technical Report Series

Year: 2012

Pages: 9

Source Publication Date: October 2012

Report Number: 1354

Institution: Newcastle University

Place Published: Newcastle upon Tyne

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


Share