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

No Thumbnail Available
File version
Author(s)
Mocki, Jacek
Vlacic, Ljubo
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)

Jason Gu

Date
2015
Size
File type(s)
Location
License
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.

Journal Title

International Journal of Automation and Logistics

Conference Title
Book Title
Edition
Volume

1

Issue

2

Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject

Control Systems, Robotics and Automation

Persistent link to this record
Citation
Collections