A Tool for Automatic Formal Modeling of Railway Interlocking Systems

Oz M. A. N., Sener I., KAYMAKÇI Ö. T., Ustoglu I., CANSEVER G.

International Conference on Computer as a Tool (EUROCON), IEEE, Salamanca, Meksika, 8 - 11 Eylül 2015, ss.26-29 identifier identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Doi Numarası: 10.1109/eurocon.2015.7313752
  • Basıldığı Şehir: Salamanca
  • Basıldığı Ülke: Meksika
  • Sayfa Sayıları: ss.26-29
  • Anahtar Kelimeler: Software tool, Automatic model generation, Interlocking system, Railway, Timed arc Petri net
  • Çanakkale Onsekiz Mart Üniversitesi Adresli: Hayır

Özet

This paper introduces a new software tool, which can be used for automatic generation of Timed Arc Petri Net (TAPN) models from the railway station topology for interlocking systems. The introduced software tool has two components, 'Graphical User Interface' to draw the station topology and 'Application Software' to generate TAPN models from the station topology. TAPN is a highly recommended formal modeling method by the CENELEC EN50128 standard. Generated models, belonging to the station, are stored in an XML file and can be viewed using TAPAAL.