Show simple item record

dc.contributor.authorMocki, Jacek
dc.contributor.authorVlacic, Ljubo
dc.contributor.editorIEEE
dc.date.accessioned2017-05-03T12:07:45Z
dc.date.available2017-05-03T12:07:45Z
dc.date.issued2013
dc.identifier.isbn978-1-4673-5277-2
dc.identifier.refurihttp://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6684703
dc.identifier.doi10.1109/ICIRT.2013.6696284
dc.identifier.urihttp://hdl.handle.net/10072/61126
dc.description.abstractRailway interlocking is designed to prevent trains from colliding. Generally speaking current systems are safe due to the processes that signalling systems have to follow as well as implementation procedures that interlockings are compliant with. Even the processes and procedures are very advanced; there are still train crashes that are triggered by interlocking faults. However, the interlocking faults are mainly related to poor maintenance of the systems or/and changes to the original designs without correct authorisation. While those areas are worth exploring to search some improvements it is also important that interlocking will progress its development toward intelligent transport system reinforcing maintenance functions. Rail signalling systems went toward eliminating human factor by introducing machine based decision making on whether to proceed or stop. Development of electrical and electronic systems found interlocking moving toward relay solutions that became very common and are still used on railways. Finally computer based interlocking was introduced and successfully implemented in 90's. Interlocking logic of those solutions has not been formalised so that it can be progressed toward intelligent transport systems. Interlocking functions are limited to ensure train operations are safe. Maintenance functions (e.g. fault prediction) or functions to enhance passengers' management are currently not implemented in rail interlockings. This paper elaborates on currently implemented rail interlockings, compares various technologies implemented in those interlockings and proposes a base for consistent development of formal interlocking methods.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent115885 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoeng
dc.publisherIEEE
dc.publisher.placeUnited States
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencenameIEEE International Conference on Intelligent Rail Transportation (ICIRT)
dc.relation.ispartofconferencetitle2013 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT)
dc.relation.ispartofdatefrom2013-08-30
dc.relation.ispartofdateto2013-09-01
dc.relation.ispartoflocationBeijing, PEOPLES R CHINA
dc.relation.ispartofpagefrom147
dc.relation.ispartofpagefrom8 pages
dc.relation.ispartofpageto154
dc.relation.ispartofpageto8 pages
dc.rights.retentionY
dc.subject.fieldofresearchAutomation engineering
dc.subject.fieldofresearchcode400702
dc.titleRailway Interlocking Process - Building a base for Formal Methods
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.facultyGriffith Sciences, Griffith School of Engineering
gro.rights.copyright© 2013 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
gro.date.issued2015-03-13T04:18:56Z
gro.hasfulltextFull Text
gro.griffith.authorVlacic, Ljubo


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record