|
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
|
