Title :
Automata-Based Railway Signaling and Interlocking System Design [Testing Ourselves]
Author :
Dincel, Emre ; Eris, Oytun ; Kurtulan, Salman
Author_Institution :
Control Eng. Dept., Istanbul Tech. Univ., Istanbul, Turkey
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.
Keywords :
automata theory; decision making; programmable controllers; rail traffic; railway communication; railway safety; PLC; automata-based railway signaling; decision-making interlocking system; fail-safe programmable logic controller; highspeed trains; interlocking software design; railway signaling system; railway traffic; safety standards; scale railway model; Accidents; Rail transportation; Safety; Signal processing; System analysis and design; Traffic control; PLC; Railway signalization; automata; fail-safe system; interlocking system design;
Journal_Title :
Antennas and Propagation Magazine, IEEE
DOI :
10.1109/MAP.2013.6645212