Title: Railway interlocking process - formal method for documenting railway junction interlocking and signalling processes

Authors: Jacek Mocki; Ljubo Vlacic

Addresses: Griffith School of Engineering, Intelligent Control Systems Laboratory, Griffith University, Nathan Campus, QLD 4111, Australia ' Griffith School of Engineering, Intelligent Control Systems Laboratory, Griffith University, Nathan Campus, QLD 4111, Australia

Abstract: A railway junction is a critical element for a reliable rail transport operation. An incorrectly selected interlocking type may cause delayed and unsafe rail transport operations. Our research shows that the use of railway junction interlocking and signalling formal methods enables a consistent comparison of various types of interlockings and interlocking technologies. Furthermore, it assists economic analyses of investment strategies into interlocking and signalling on railway junctions. This paper analyses the processes involved in signalling and compares different technologies. It presents a formal method developed for the purpose of comparing various technology implementations on a single, bidirectional railway junction. It describes currently implemented interlockings on railway junctions, discusses interlocking processes and proposes a consistent approach to building formal interlocking methods.

Keywords: railway interlocking processes; railway junction interlocking; railway signalling; formal methods; railway junctions; rail transport; technology implementation.

DOI: 10.1504/IJAL.2015.068911

International Journal of Automation and Logistics, 2015 Vol.1 No.2, pp.176 - 208

Received: 14 Oct 2013
Accepted: 10 Nov 2014

Published online: 16 Apr 2015 *

Full-text access for editors Access for subscribers Purchase this article Comment on this article