1. Automata-Based Railway Signaling and Interlocking System Design [Testing Ourselves].
- Author
-
Dincel, Emre, Eris, Oytun, and Kurtulan, Salman
- Subjects
RAILROAD interlocking system signals ,TRAFFIC engineering ,SIGNAL processing ,SYSTEM analysis ,MACHINE theory ,RAILROAD safety measures ,PROGRAMMABLE controllers - 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. [ABSTRACT FROM AUTHOR]
- Published
- 2013
- Full Text
- View/download PDF