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.
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 *