An Integrated Environment for Verification of Large-Scale Railway Interlockings

铁路管理部门制定了称为控制表的表格规范，定义了铁路联锁的安全和操作要求。这个项目将解决控制表中早期发现和消除错误的关键问题。该项目将产生一个原型环境，用于验证铁路联锁控制表，适用于昆士兰州铁路网络上的大多数联锁。它还将提供结果，将改善目前的最先进的模型检查技术的实际应用。

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.