Application of functional safety on railways part I: Modelling & design


Durmus M. S., Yildirim U., Söylemez M. T.

8th Asian Control Conference, ASCC 2011, Kao-hsiung, Tayvan, 15 - 18 Mayıs 2011, ss.1090-1095 identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Cilt numarası:
  • Basıldığı Şehir: Kao-hsiung
  • Basıldığı Ülke: Tayvan
  • Sayfa Sayıları: ss.1090-1095
  • Anahtar Kelimeler: Functional Safety, Petri-Nets, Railway Interlocking and Signalization Design
  • İstanbul Teknik Üniversitesi Adresli: Evet

Özet

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. © 2011 Asian Control Association.