Design of Signal Control Structures Using Formal Methods for Railway Interlocking Systems

Eris O., Mutlu İ.

11th International Conference on Control, Automation, Robotics and Vision (ICARCV 2010), Singapore, Singapore, 7 - 10 December 2010, pp.776-780 identifier

  • Publication Type: Conference Paper / Full Text
  • City: Singapore
  • Country: Singapore
  • Page Numbers: pp.776-780
  • Istanbul Technical University Affiliated: Yes


Today the relay based railway interlocking systems are changing into programmable software interlocking systems. Looking at the hardware aspect, safety certified components can be used in order to satisfy the safety requirements of railway interlocking systems. But to satisfy the software requirements, the design and the programming of the interlocking system must be made by formal methods. To do this, preparing function blocks for each kind of the field equipments can be a method in order to realize a railway interlocking system. The purpose of this paper is to develop a Programmable Logic Controller (PLC) program for the signal function blocks by using formal methods and make a comparison between them.