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

^*Bu çalışma için yazışmadan sorumlu yazar

Kontrol ve Otomasyon Mühendisliği Bölümü

Istanbul Technical University

Araştırma sonucu: Kitap/Rapor/Konferans Bildirisinde Bölüm › Konferans katkısı › bilirkişi

3 Atıf (Scopus)

Özet

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.

Orijinal dil	İngilizce
Ana bilgisayar yayını başlığı	Proceedings - WODES 2010
Ana bilgisayar yayını alt yazısı	10th International Workshop on Discrete Event Systems
Sayfalar	337-342
Sayfa sayısı	6
Baskı	PART 1
Yayın durumu	Yayınlandı - 2010
Etkinlik	10th International Workshop on Discrete Event Systems, WODES 2010 - Berlin, Germany Süre: 30 Ağu 2010 → 1 Eyl 2010

Yayın serisi

Adı	IFAC Proceedings Volumes (IFAC-PapersOnline)
Sayı	PART 1
Hacim	10
ISSN (Basılı)	1474-6670

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???	10th International Workshop on Discrete Event Systems, WODES 2010
Ülke/Bölge	Germany
Şehir	Berlin
Periyot	30/08/10 → 1/09/10

Finansman

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

Finansörler	Finansör numarası
TÜBİTAK	108G186
Türkiye Bilimsel ve Teknolojik Araştirma Kurumu

BM SKH

Bu sonuç, aşağıdaki Sürdürülebilir Kalkınma Hedefine/Hedeflerine katkıda bulunur

SKH 9 Sanayi, Yenilikçilik ve Altyapı

Diğer Dosyalar ve Linkler

Link to publication in Scopus

Alıntı Yap

@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, hac. 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); Hac. 10, No. PART 1).

Araştırma sonucu: Kitap/Rapor/Konferans Bildirisinde Bölüm › Konferans katkısı › bilirkişi

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

Özet

Yayın serisi

???event.eventtypes.event.conference???

Finansman

BM SKH

Diğer Dosyalar ve Linkler

Parmak izi

Alıntı Yap