An Integrated Environment for Verification of Large-Scale Railway Interlockings

大型铁路联锁验证的集成环境

• 批准号: LP0455155
• 负责人: Em/Prof Paul Strooper
• 金额: $ 10.91万
• 依托单位: The University of Queensland
• 依托单位国家: 澳大利亚
• 项目类别: Linkage Projects
• 财政年份: 2004
• 资助国家: 澳大利亚
• 起止时间: 2004-09-20 至 2007-12-31
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/LP0455155
• 关键词: Integrated; Environment; Verification; Large; Scale

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.

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