Application of control and automation theory to practical areas can provide significant means for improvement in developing countries like Turkey, where human (brain) power is relatively inexpensive. A possible application area for the well-established automation theory is railway signaling, where formal methods are required to be used in order to comply with the related safety standards. Specially, when the investment plans of Turkey on railway systems are considered, improvement of scientific studies on railway systems becomes more important. After providing some motivation, this presentation will focus on development of interlocking systems using the example of Turkish National Railway Signaling Project (TNRSP) as a case study. Development stages, architecture and design of the software produced, and tests carried out in this project will be briefly described. In particular, the usage of automata and Petri Nets in the design of signaling systems will be discussed. The state of the art and current trends in signaling will also be stated to give the audience a perspective.

Yer:

VYKM1