In this paper, we present an overview of research jointly undertaken by the Swansea Railway Verification Group towards verification techniques for automatically checking safety for train control systems. We present a comprehensive modelling of safety principles in first order logic. We conclude by applying verification methods developed by Swansea Railway Verification Group in order to check the modelled safety principles against a real world railway interlocking system.
Formal Methods for Industrial Interlocking Verification
2018-12-01
293346 byte
Conference paper
Electronic Resource
English
Interlocking Formal Verification at Alstom Signalling
British Library Conference Proceedings | 2019
|Principles of formal verification of interlocking software
Tema Archive | 2007
|Comparing Formal Verification Approaches of Interlocking Systems
British Library Conference Proceedings | 2016
|Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release
Springer Verlag | 2015
|INTERLOCKING DATA SAFE CONVERSION METHOD FOR FORMAL VERIFICATION AND TRANSLATOR
European Patent Office | 2024
|