By Topic

Design of signal control structures using formal methods for railway interlocking systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Oytun Eriş ; Control Engineering Department, Istanbul Technical University, ITU, Istanbul, Turkey ; İlhan Mutlu

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.

Published in:

Control Automation Robotics & Vision (ICARCV), 2010 11th International Conference on

Date of Conference:

7-10 Dec. 2010