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
01.12.2018
293346 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Interlocking Formal Verification at Alstom Signalling
British Library Conference Proceedings | 2019
|Principles of formal verification of interlocking software
Tema Archiv | 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
Europäisches Patentamt | 2024
|