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
Year2012
Legacy DateOctober 2012
Report Number1354
Pages9
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
URLhttp://www.cs.ncl.ac.uk/publications/trs/papers/1354.pdf
ActionsLink to this publication