Accession Number PB2013-101713
Title Computing Science: The SafeCap Toolset for Improving Railway Capacity While Ensuring Its Safety.
Publication Date Oct 2012
Media Count 9p
Personal Author A. Iliasov A. Romanovsky
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.
Keywords Capacity
Domain specific language
Formal modelling
Railway capacity
Safety standards
Signalling safety

Source Agency University of Newcastle Department of Computing Science
NTIS Subject Category 85I - Railroad Transportation
85D - Transportation Safety
Corporate Author Newcastle upon Tyne Univ. (England).
Document Type Technical report
Title Note N/A
NTIS Issue Number 1302
Contract Number N/A

Science and Technology Highlights

See a sampling of the latest scientific, technical and engineering information from NTIS in the NTIS Technical Reports Newsletter

Acrobat Reader Mobile    Acrobat Reader