Toggle Main Menu Toggle Search

Open Access padlockePrints

The SafeCap trajectory: industry-driven improvement of an interlocking verification tool

Lookup NU author(s): Dr Alexei Iliasov, Dr Linas Laibinis, Emeritus Professor Alexander RomanovskyORCiD

Downloads


Licence

This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by Springer, 2023.

For re-use rights please refer to the publisher's terms and conditions.


Abstract

This paper reports on the industrial use of our formal-method based interlocking verification tool, called SafeCap, and on what we needed to change in SafeCap as a result of our experience in applying it to a large number of commercial signalling projects. The substantial efforts dedicated to tool improvement are caused by the novelty of the technology and by a substantial gap to be bridged between the academic prototype, developed initially, and the industry-strength tool SafeCaphas become now. It is our belief that when such innovative tools and technologies are developed for industrial use it is often impossible to fully understand and correctly elicit the complete set of requirements for their development. The paper describes the extensions added and the modifications made to the functionality of SafeCap after it was demonstratedto be successful in a number of real (but not live) signalling projects and, as a result of this, was formally approved for use in the UK railway. We believe this experience will be useful for the developers of formal verification methods, tools and technologies to be deployed in industry.


Publication metadata

Author(s): Iliasov A, Taylor D, Laibinis L, Romanovsky A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 5th International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail 2023)

Year of Conference: 2023

Pages: 117-127

Online publication date: 27/09/2023

Acceptance date: 30/06/2023

Date deposited: 21/06/2023

ISSN: 1611-3349

Publisher: Springer

URL: https://doi.org/10.1007/978-3-031-43366-5_7

DOI: 10.1007/978-3-031-43366-5_7

ePrints DOI: 10.57711/ctnf-f264

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783031433658


Share