EVALPSN Based Railway Interlocking Simulator
説明
Railway diagram disorder caused by various reasons is a serious problem in our everyday life, and expected to be recovered as soon as possible. In order to assist the quick recovery of disordered railway diagram, we are planning to provide a railway diagram recovery system, which is based on an annotated logic program called EVALP (Extended Vector Annotated Logic Program) with temporal reasoning. In this paper, we introduce a railway diagram simulation system based on EVALP based safety verification for interlocking. We also introduce the ideas of the railway interlocking safety verification and railway signal control based on EVALPSN.