The SafeCap toolset for improving railway capacity while ensuring its safety

  1. Lookup NU author(s)
  2. Dr Alexei Iliasov
  3. Professor Alexander Romanovsky
Author(s)Iliasov A, Romanovsky A
Publication type Report
Series TitleSchool of Computing Science Technical Report Series
Source Publication DateOctober 2012
Report Number1354
Full text is available for this publication:
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.
InstitutionNewcastle University
Place PublishedNewcastle upon Tyne
ActionsLink to this publication