Automata-Based Railway Signaling and Interlocking System Design


Dincel E. , Eris O., Kurtulan S.

IEEE ANTENNAS AND PROPAGATION MAGAZINE, vol.55, no.4, pp.308-318, 2013 (Journal Indexed in SCI) identifier identifier

  • Publication Type: Article / Article
  • Volume: 55 Issue: 4
  • Publication Date: 2013
  • Doi Number: 10.1109/map.2013.6645212
  • Title of Journal : IEEE ANTENNAS AND PROPAGATION MAGAZINE
  • Page Numbers: pp.308-318
  • Keywords: Railway signalization, automata, interlocking system design, fail-safe system, PLC, PETRI NETS

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.