The Application of Automation Theory to Railway Signalization Systems: The Case of Turkish National Railway Signalization Project

摘要

The 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 signalization, where formal methods are required to be used in order to comply with the related safety standards. Turkish National Railway Signalization Project (TNRSP) is examined in this paper with this perspective as a case study. Development stages, architecture and design of the software produced in this project are briefly discussed.