ePrints

The SafeCap toolset for improving railway capacity while ensuring its safety

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

Downloads

• Published version [.pdf]

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

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

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

Share