TY - GEN
T1 - Application of functional safety on railways part I
T2 - 8th Asian Control Conference, ASCC 2011
AU - Durmus, Mustafa Seckin
AU - Yildirim, Ugur
AU - Soylemez, Mehmet Turan
PY - 2011
Y1 - 2011
N2 - By the rapid development of railway systems, the need of reliable signalization and interlocking systems increases day by day. Satisfying the requirements of standards like CENELEC (European Committee for Electrotechnical Standardization) ensures designers to achieve reliable system models. One of the main issues of designing part is to use formal methods while modelling these systems. Using Petri-Nets is the most popular method in the literature that provides designers easy error-tracking and a visual approach. In this study, modelling of a sample railway yard is achieved for signalization and interlocking design that considers required standards.
AB - By the rapid development of railway systems, the need of reliable signalization and interlocking systems increases day by day. Satisfying the requirements of standards like CENELEC (European Committee for Electrotechnical Standardization) ensures designers to achieve reliable system models. One of the main issues of designing part is to use formal methods while modelling these systems. Using Petri-Nets is the most popular method in the literature that provides designers easy error-tracking and a visual approach. In this study, modelling of a sample railway yard is achieved for signalization and interlocking design that considers required standards.
KW - Functional Safety
KW - Petri-Nets
KW - Railway Interlocking and Signalization Design
UR - http://www.scopus.com/inward/record.url?scp=80051988736&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:80051988736
SN - 9788995605646
T3 - ASCC 2011 - 8th Asian Control Conference - Final Program and Proceedings
SP - 1090
EP - 1095
BT - ASCC 2011 - 8th Asian Control Conference - Final Program and Proceedings
Y2 - 15 May 2011 through 18 May 2011
ER -