An Algorithmic Approach To The Verification Of A Railway Interlocking Table
Price
Free (open access)
Transaction
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