Lookup NU author(s): Dr Alexei Iliasov,
Dr Linas Laibinis,
Professor Alexander Romanovsky
This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by Springer, 2018.
For re-use rights please refer to the publisher's terms and conditions.
SafeCap is a modern toolkit for modelling, simulation and formal verification of railway networks. This paper discusses the use of SafeCap for formal analysis and fully-automated scalable safety verification of solid state interlocking (SSI) programs - a technology at the heart of many railway signalling solutions. The focus of the work is on making it easy for signalling engineers to use the developed technology and thus to help with its smooth industrial deployment. In this paper we explain the formal foundations of the proposed method, its tool support, and their application to real life railway verification problems.
Author(s): Iliasov A, Taylor D, Laibinis L, Romanovsky A
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 37th International Conference on Computer Safety, Reliability, & Security
Year of Conference: 2018
Online publication date: 21/08/2018
Acceptance date: 05/06/2018
Date deposited: 07/06/2018
Library holdings: Search Newcastle University Library for this item
Series Title: LNCS