Railway interlocking process - formal method for documenting railway junction interlocking and signalling processes Online publication date: Sat, 25-Apr-2015
by Jacek Mocki; Ljubo Vlacic
International Journal of Automation and Logistics (IJAL), Vol. 1, No. 2, 2015
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.
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Automation and Logistics (IJAL):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email subs@inderscience.com
Our Blog 
Follow us on Twitter 
Visit us on Facebook