Documents in the NTIS Technical Reports collection are the results of federally funded research. They are directly submitted to or collected by NTIS from Federal agencies for permanent accessibility to industry, academia and the public.  Before purchasing from NTIS, you may want to check for free access from (1) the issuing organization's website; (2) the U.S. Government Printing Office's Federal Digital System website http://www.gpo.gov/fdsys; (3) the federal government Internet portal USA.gov; or (4) a web search conducted using a commercial search engine such as http://www.google.com.
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
Design
Domain specific language
Formal modelling
Infrastructure
Railway capacity
Safety standards
Signalling safety
Verification


 
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