International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
|
Volume 146 - Issue 7 |
Published: Jul 2016 |
Authors: K. Sriram, S. Sheerazuddin |
![]() |
K. Sriram, S. Sheerazuddin . Identifying Conflicting Routes in Control Table of Indian Railways Interlocking System using NuSMV. International Journal of Computer Applications. 146, 7 (Jul 2016), 1-6. DOI=10.5120/ijca2016910826
@article{ 10.5120/ijca2016910826, author = { K. Sriram,S. Sheerazuddin }, title = { Identifying Conflicting Routes in Control Table of Indian Railways Interlocking System using NuSMV }, journal = { International Journal of Computer Applications }, year = { 2016 }, volume = { 146 }, number = { 7 }, pages = { 1-6 }, doi = { 10.5120/ijca2016910826 }, publisher = { Foundation of Computer Science (FCS), NY, USA } }
%0 Journal Article %D 2016 %A K. Sriram %A S. Sheerazuddin %T Identifying Conflicting Routes in Control Table of Indian Railways Interlocking System using NuSMV%T %J International Journal of Computer Applications %V 146 %N 7 %P 1-6 %R 10.5120/ijca2016910826 %I Foundation of Computer Science (FCS), NY, USA
A “control table” is a functional specification of the signaling system of a railway section. It specifies the routes on which trains are allowed to pass. Control table for interlocking system in Indian Railways is done by a vendor. This control table is verified for correctness by another vendor. The process followed to generate this control table remains a black box, i.e., unknown. Through this paper, a working system has been proposed to explore this unknown process and come up with correct control table entries for a given layout of railway section.