An Integrated Environment for Verification of Large-Scale Railway Interlockings

Abstract:: Railway administrations produce tabular specifications called Control Tables that define the safety and operational requirements for Railway Interlockings. This project will address the critical problem of early detection and elimination of errors in Control Tables. The project will produce a prototype environment for verifying railway interlocking Control Tables, suitable for application to most of the interlockings on the Queensland Rail network. It will also deliver results that will improve the current state-of-the-art in the practical application of model-checking technology.
Grant type:: ARC Linkage Projects
Funded by:: Australian Research Council

The University of Queensland