In recent years the complexity of software systems has been growing rapidly. In order to control this development, increasingly formal verification is being used, enabling one to demonstrate that software satisfies given criteria. Providing proof of correctness is particularly important for safety critical systems. Among these are electronic interlockings, used in railway engineering to monitor and control the logic of safety-related components. This paper examines the principles of formal verification of interlocking software by model checking, focusing on interlockings based on programmable logic controllers (PLCs).
Principles of formal verification of interlocking software
Prinzipien der formalen Verifikation von Interlocking-Software
2007
10 Seiten, 2 Bilder, 2 Tabellen, 14 Quellen
Conference paper
English
Interlocking Formal Verification at Alstom Signalling
British Library Conference Proceedings | 2019
|Formal Methods for Industrial Interlocking Verification
IEEE | 2018
|Comparing Formal Verification Approaches of Interlocking Systems
British Library Conference Proceedings | 2016
|INTERLOCKING DATA SAFE CONVERSION METHOD FOR FORMAL VERIFICATION AND TRANSLATOR
European Patent Office | 2024
|Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release
Springer Verlag | 2015
|