The SafeCap Toolset for Improving Railway Capacity While Ensuring Its Safety
Alexei Iliasov, Alexander B. Romanovsky · School of Computing Science Technical Report Series · 2012
The continuing RSSB/EPSRC UK SafeCap project develops modelling methods for increasing railroad capacity while ensuring that safety standards are maintained. This paper describes recent SafeCap results on designing a Domain Specific Language (DSL), a verification infrastructure and the approaches to increasing and estimating capacity.