Formal Development of Software to Design of a Railway Interlocking Table for an Electronic Interlocking System

Described in this paper is the software to design of a railway interlocking table, which describes the functional specifications of an interlocking device. Interlocking tables has been designed mainly based on personal expertise among signal engineers. However, this expertise needs to be analyzed with technical uniformity and integrated in an organized system. The proposed software is amount to the signal engineer's expertise, yet a generalization of interlocking reasoning. The algorithm is based on the train route setting principle, and is applicable in solving practical problems by computers. The software was evaluated through man-made and machine-made interlocking tables are compared. The evaluation results proves the software to be effective for computer control of the signaling system as interlocking system with a much improved safety.