Formal Methods for Industrial Interlocking Verification
Simon Chadwick, Phillip James, Markus Roggenbach, Tom Wetner · 2018 International Conference on Intelligent Rail Transportation (ICIRT) · 2018
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.