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, Taiwan, 15 - 18 May 2011, pp.1090-1095 identifier

  • Publication Type: Conference Paper / Full Text
  • Volume:
  • City: Kao-hsiung
  • Country: Taiwan
  • Page Numbers: pp.1090-1095
  • Keywords: Functional Safety, Petri-Nets, Railway Interlocking and Signalization Design


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.