Abstract of the paper
A "control table" is a functional specification of the signalling system of a railway section. It specifies the routes on which passage of trains is allowed. Control tables for interlocking system in Indian Railways is done by a vendor. These control tables are verified for correctness by another vendor. The process followed to generate these control tables remains a black box, i.e., unknown. Through this paper, we propose a working system to explore this unknown process and come up with correct control tables for a given layout of railway section.