Browse by author
Lookup NU author(s): Dr Alexei Iliasov,
Dr Linas Laibinis,
Professor Alexander Romanovsky
This is the authors' accepted manuscript of an article that has been published in its final definitive form by IEEE, 2022.
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 paperdiscusses 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 around the world. The main driving forcebehind SafeCap development was to make it easy for signalling engineers to use the technology and thus to ensure its smooth industrial deployment. The unique qualities and the novelty of SafeCap are in making the use of formal notations and proofs fully transparent for the engineers. In this paper we explain the formal foundations of the proposed method, its tool support, and their successful application by railway companies in developing industrial signalling projects.
Author(s): Iliasov A, Taylor D, Laibinis L, Romanovsky A
Publication type: Article
Publication status: Published
Journal: IEEE Transactions on Dependable and Secure Computing
Issue: ePub ahead of Print
Online publication date: 12/01/2022
Acceptance date: 03/01/2022
Date deposited: 30/07/2021
ISSN (print): 1545-5971
ISSN (electronic): 1941-0018