Model-driven development and verification of railway interlocking control logic (2008–2011)
Abstract:
Railway signalling interlockings control and protect the movement of trains through railway systems. This project will develop a prototype model-driven framework for the development and verification of railway interlocking control logic. The framework will be based on the emerging methodology of model-driven architecture, which aims to generate application software from high-level models. It will investigate traditional approaches to verification complemented with novel verification techniques such as model checking and model-based testing, to ensure a composite verification strategy that can provide the high level of assurance required for safety-critical systems such as railway interlockings.'',