Automata-Based Railway Signaling and Interlocking System Design

Dincel E., Eris O., Kurtulan S.

IEEE ANTENNAS AND PROPAGATION MAGAZINE, cilt.55, sa.4, ss.308-318, 2013 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 55 Sayı: 4
  • Basım Tarihi: 2013
  • Doi Numarası: 10.1109/map.2013.6645212
  • Dergi Adı: IEEE ANTENNAS AND PROPAGATION MAGAZINE
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.308-318
  • Anahtar Kelimeler: Railway signalization, automata, interlocking system design, fail-safe system, PLC, PETRI NETS
  • İstanbul Teknik Üniversitesi Adresli: Evet

Ö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.