Model-driven development and verification of railway interlocking control logic

铁路联锁是所有铁路基础设施的重要和安全关键部分。该项目的研究结果旨在降低开发成本，提高铁路联锁控制逻辑的质量。这将有助于昆士兰州、澳大利亚和国际上更安全、更具成本效益的铁路运输。该项目有可能为计划将模型驱动架构（MDA）用于安全关键系统的组织提高开发和V&V能力。虽然MDA的工业应用目前还处于起步阶段，但预测预测MDA将从根本上改变软件开发实践，特别是在澳大利亚等发达国家。

Railway interlockings are an essential and safety-critical part of all rail infrastructure. The results of the proposed project are intended to reduce the cost of the development and improve the quality of railway interlockings control logic. This will contribute to safer and more cost-effective rail transport in Queensland, Australia and internationally. This project has the potential to improve both development and V&V capabilities for organisations that plan to use model-driven architecture (MDA) for safety-critical systems. While the industrial usage of MDA is currently in its infancy, forecasts predict that MDA will fundamentally change software development practice, especially in developed countries like Australia.