SVRC Railway Signalling Design Tools

Contributors:

Neil J. Robinson, Wendy Johnston, David Tombs, Kirsten Winter, Peter Kearney, Luke Wildman, Ben Long

Description:

This project, funded by Queensland Rail (QR), is investigating the development of tools to automatically generate and verify signalling logic designs, represented as `control tables'. The tool functionality under investigation includes automatic generation of control tables from railway track and signalling layouts, and automatic verification that control tables satisfy signalling safety principles. In 2002, the project started a new phase aimed at developing Design Specifications as input to the tools development project.

Project Outputs:

Neil Robinson and George Nikandros. Railway Signalling Design Tools - Supporting Control Table Designers in Proceedings of IRSE Aspect 2003 Signalling Conference, Queen Elizabeth Conference Centre, Westminster, London, UK, 2003

Kirsten Winter and Neil Robinson. Modelling Large Railway Interlocking Systems and Model Checking Small Ones in Computer Science 2003, Twenty Sixth Australasian Computer Science Conference (ACSC 2003), Michael Oudshoorn, Editor, Conferences in Research and Practice in Information Technology, Volume 16, Australian Computer Society, 2003

David Tombs, Neil Robinson and George Nikandros. Signalling Control Table Generation and Verification In Proceedings of the Conference on Railway Engineering (CORE 2002), Wollongong, Australia, November 2002

Kirsten Winter. Model Checking Railway Interlocking Systems . Proceedings of the Australian Computer Science Conference (ACSC 2002), 2002.

Neil Robinson, David Barney, Peter Kearney, George Nikandros and David Tombs, Automatic Generation and Verification of Design Specifications for Railway Signalling Applications . In Proc. of INCOSE 11th Annual International Symposium (INCOSE2001), INCOSE, Seattle, USA, July 2001.

Funding:

This project is funded by Queensland Rail through a research contract with UniQuest Pty Ltd, and by in-kind contributions from the SVRC.