WIT Press

An Algorithmic Approach To The Verification Of A Railway Interlocking Table

Price

Free (open access)

Volume

20

Pages

10

Published

1996

Size

884 kb

Paper DOI

10.2495/CR960101

Copyright

WIT Press

Author(s)

A. Hachiga

Abstract

The ability to make an interlocking table seems rather an art. In the past, a few attempts at automatic generation of interlocking table were made but the core of the expertise has always been left untouched as a hard nut to crack. Therefore, it was toy-problems or tiny problems that could be solved by computer. Based on a train route setting principle, an algorithm is drawn up to solve practical and general problems, resulting in an interlocking table as safe and efficient as the one by an expert. Basic ideas and the concept of the algorithm are given. Man-made and machine-made interlocking tables are compared. 1 Introduction A railway interlocking table is a document describing the functional specification of the interlocking device which is responsible for the safe and efficient train opera

Keywords