Fail-safe signalization design for a railway yard: A level crossing case

M. S. Durmuş; U. Yildirim; A. Kurşun; M. T. Söylemez

Fail-safe signalization design for a railway yard: A level crossing case

M. S. Durmuş^*
, U. Yildirim
, A. Kurşun
, M. T. Söylemez

^*Corresponding author for this work

Department of Control and Automation Engineering

Istanbul Technical University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4 Citations (Scopus)

Abstract

Level crossings (grade crossings or railroad crossings) are one of the most crucial parts of the railway lines as two different types of transportation intersect at these points. Human failures including ignorance of warning signs, device troubles or carelessness can easily result in accidents especially at such cross-sections. In order to decrease the possibility of accidents on level crossings, several standards have been developed. In accordance with these standards, formal methods are required to be used specially in the development of interlocking systems that control safe operation of such crossings. In this study, a railway yard with a level crossing is modeled by Automation Petri Nets in order to design a failsafe signalization system. A SCADA testbed is also developed to test several possible failure situations. The methods proposed in the design are expected to be used as part of an interlocking system in a railway station in Turkey.

Original language	English
Title of host publication	Proceedings - WODES 2010
Subtitle of host publication	10th International Workshop on Discrete Event Systems
Pages	337-342
Number of pages	6
Edition	PART 1
Publication status	Published - 2010
Event	10th International Workshop on Discrete Event Systems, WODES 2010 - Berlin, Germany Duration: 30 Aug 2010 → 1 Sept 2010

Publication series

Name	IFAC Proceedings Volumes (IFAC-PapersOnline)
Number	PART 1
Volume	10
ISSN (Print)	1474-6670

Conference

Conference	10th International Workshop on Discrete Event Systems, WODES 2010
Country/Territory	Germany
City	Berlin
Period	30/08/10 → 1/09/10

Funding

This work is supported by The Scientific and Technological Research Council of Turkey (TÜBİTAK) project number 108G186 – The National Railway Signalization Project.

Funders	Funder number
TÜBİTAK	108G186
Türkiye Bilimsel ve Teknolojik Araştirma Kurumu

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Keywords

Automation petri nets
Level crossing
Signalization

Cite this

@inproceedings{9fbc37f650854d04bfa53e243a007dc3,

title = "Fail-safe signalization design for a railway yard: A level crossing case",

abstract = "Level crossings (grade crossings or railroad crossings) are one of the most crucial parts of the railway lines as two different types of transportation intersect at these points. Human failures including ignorance of warning signs, device troubles or carelessness can easily result in accidents especially at such cross-sections. In order to decrease the possibility of accidents on level crossings, several standards have been developed. In accordance with these standards, formal methods are required to be used specially in the development of interlocking systems that control safe operation of such crossings. In this study, a railway yard with a level crossing is modeled by Automation Petri Nets in order to design a failsafe signalization system. A SCADA testbed is also developed to test several possible failure situations. The methods proposed in the design are expected to be used as part of an interlocking system in a railway station in Turkey.",

keywords = "Automation petri nets, Level crossing, Signalization",

author = "Durmu{\c s}, \{M. S.\} and U. Yildirim and A. Kur{\c s}un and S{\"o}ylemez, \{M. T.\}",

year = "2010",

language = "English",

isbn = "9783902661791",

series = "IFAC Proceedings Volumes (IFAC-PapersOnline)",

number = "PART 1",

pages = "337--342",

booktitle = "Proceedings - WODES 2010",

edition = "PART 1",

note = "10th International Workshop on Discrete Event Systems, WODES 2010 ; Conference date: 30-08-2010 Through 01-09-2010",

}

Durmuş, MS, Yildirim, U, Kurşun, A & Söylemez, MT 2010, Fail-safe signalization design for a railway yard: A level crossing case. in Proceedings - WODES 2010: 10th International Workshop on Discrete Event Systems. PART 1 edn, IFAC Proceedings Volumes (IFAC-PapersOnline), no. PART 1, vol. 10, pp. 337-342, 10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, 30/08/10.

Fail-safe signalization design for a railway yard: A level crossing case. / Durmuş, M. S.; Yildirim, U.; Kurşun, A. et al.
Proceedings - WODES 2010: 10th International Workshop on Discrete Event Systems. PART 1. ed. 2010. p. 337-342 (IFAC Proceedings Volumes (IFAC-PapersOnline); Vol. 10, No. PART 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Fail-safe signalization design for a railway yard

T2 - 10th International Workshop on Discrete Event Systems, WODES 2010

AU - Durmuş, M. S.

AU - Yildirim, U.

AU - Kurşun, A.

AU - Söylemez, M. T.

PY - 2010

Y1 - 2010

N2 - Level crossings (grade crossings or railroad crossings) are one of the most crucial parts of the railway lines as two different types of transportation intersect at these points. Human failures including ignorance of warning signs, device troubles or carelessness can easily result in accidents especially at such cross-sections. In order to decrease the possibility of accidents on level crossings, several standards have been developed. In accordance with these standards, formal methods are required to be used specially in the development of interlocking systems that control safe operation of such crossings. In this study, a railway yard with a level crossing is modeled by Automation Petri Nets in order to design a failsafe signalization system. A SCADA testbed is also developed to test several possible failure situations. The methods proposed in the design are expected to be used as part of an interlocking system in a railway station in Turkey.

AB - Level crossings (grade crossings or railroad crossings) are one of the most crucial parts of the railway lines as two different types of transportation intersect at these points. Human failures including ignorance of warning signs, device troubles or carelessness can easily result in accidents especially at such cross-sections. In order to decrease the possibility of accidents on level crossings, several standards have been developed. In accordance with these standards, formal methods are required to be used specially in the development of interlocking systems that control safe operation of such crossings. In this study, a railway yard with a level crossing is modeled by Automation Petri Nets in order to design a failsafe signalization system. A SCADA testbed is also developed to test several possible failure situations. The methods proposed in the design are expected to be used as part of an interlocking system in a railway station in Turkey.

KW - Automation petri nets

KW - Level crossing

KW - Signalization

UR - https://www.scopus.com/pages/publications/80051961875

M3 - Conference contribution

AN - SCOPUS:80051961875

SN - 9783902661791

T3 - IFAC Proceedings Volumes (IFAC-PapersOnline)

SP - 337

EP - 342

BT - Proceedings - WODES 2010

Y2 - 30 August 2010 through 1 September 2010

ER -

Fail-safe signalization design for a railway yard: A level crossing case

Abstract

Publication series

Conference

Funding

UN SDGs

Keywords

Other files and links

Fingerprint

Cite this