Automata-Based Railway Signaling and Interlocking System Design

Dincel E. , Eris O., Kurtulan S.

IEEE ANTENNAS AND PROPAGATION MAGAZINE, cilt.55, ss.308-318, 2013 (SCI İndekslerine Giren Dergi) identifier identifier

  • Cilt numarası: 55 Konu: 4
  • Basım Tarihi: 2013
  • Doi Numarası: 10.1109/map.2013.6645212
  • Dergi Adı: IEEE ANTENNAS AND PROPAGATION MAGAZINE
  • Sayfa Sayıları: ss.308-318

Özet

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.