Browse by author
Lookup NU author(s): Dr Alexei Iliasov, Dr Linas Laibinis, Emeritus Professor Alexander RomanovskyORCiD
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.
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.
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