Browse by author
Lookup NU author(s): Dr Alexei Iliasov, Dr Ilya Lopatkin, Emeritus Professor Alexander RomanovskyORCiD
This paper presents the SafeCap Platform approach to the verification of railway safety properties. We discuss how the hierarchy of formal theories is used to capture the railway domain and interface with verification tools; we explain the contribution of each individual theory to the overall task of safety verification and capacity assessment. Finally, we briefly relate our experience of using two independent verification chains to validate concrete track layouts and control tables against the SafeCap safety theories.
Author(s): Iliasov A, Lopatkin I, Romanovsky A
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2014
Pages: 14
Print publication date: 01/01/2014
Source Publication Date: January 2014
Report Number: 1404
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1404.pdf
