An Algorithmic Approach to the Verification of a Railway Interlocking Table
Akira HACHIDA
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.