Signalling control table generation and verification

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.

Media Info

  • Pagination: 10p. ; PDF
  • Monograph Title: Cost efficient railways through engineering: CORE 2002: conference on railway engineering, November 10-13 2002, Wollongong, New South Wales, Australia

Subject/Index Terms

Filing Info

  • Accession Number: 01532074
  • Record Type: Publication
  • Source Agency: ARRB
  • Files: ATRI
  • Created Date: Jul 29 2014 11:54AM