Signalling Control Table Generation and Verification

Abstract

Queenland Rail (QR) and the Software Verification Research Centre (SVRC) from The University of Queensland are investigating a suite of tools to assist in the production of signalling control tables. Altogether there are four tools, a graphical track layout editor, a tool to generate control tables automatically, a tool to enable manual editing of tables, and a verifier to show that tables satisfy signalling safety principles. This paper provides an overview of the toolset. It gives a fuller description of two of the key parts of the toolset design: the algorithms to generate control table entries and the formalisation of signalling safety principles for verification.