Automata-Based Railway Signaling and Interlocking System Design

作者：Dincel Emre^*; Eris Oytun; Kurtulan Salman

来源：IEEE Antennas and Propagation Magazine, 2013, 55(4): 308-318.

DOI：10.1109/MAP.2013.6645212

• Railway signalization
• automata
• interlocking system design
• fail-safe system
• PLC

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 %26quot;interlocking system%26quot; 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.

• 出版日期2013-8