Automata-Based Railway Signaling and Interlocking System Design [Testing Ourselves

Abstract

Railway signaling has become more important over the years, with the increase in railway traffic and the use of highspeed trains. Since the most important aspect of a railway signaling system is safety, the decision-making "interlocking system" is the critical element of a railway-signaling system. To satisfy the safety standards set for railway-signaling systems, the interlocking software design must be taken into account, using formal methods. In this study, an automata-based railway signaling and interlocking system is introduced and implemented, using a fail-safe programmable logic controller (PLC) on a scale railway model.