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

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.