A tool for automatic formal modeling of railway interlocking systems

Muhammed Ali Nur Oz; Ibrahim Sener; Ozgur Turay Kaymakci; Ilker Ustoglu; Galip Cansever

doi:10.1109/EUROCON.2015.7313752

A tool for automatic formal modeling of railway interlocking systems

Muhammed Ali Nur Oz
, Ibrahim Sener
, Ozgur Turay Kaymakci
, Ilker Ustoglu
, Galip Cansever

Yildiz Technical University

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

4 Atıf (Scopus)

Ö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.

Orijinal dil	İngilizce
Ana bilgisayar yayını başlığı	Proceedings - EUROCON 2015
Editörler	Manuel Grana, Emilio Corchado, Jesus Fraile-Ardanuy, Hector Quintian, Athanasios Kakarountas, Jan Haase, Carl James Debono
Yayınlayan	Institute of Electrical and Electronics Engineers Inc.
ISBN (Elektronik)	9781479985692
DOI'lar	https://doi.org/10.1109/EUROCON.2015.7313752
Yayın durumu	Yayınlandı - 30 Eki 2015
Harici olarak yayınlandı	Evet
Etkinlik	International Conference on Computer as a Tool, IEEE EUROCON 2015 - Salamanca, Spain Süre: 8 Eyl 2015 → 11 Eyl 2015

Yayın serisi

Adı	Proceedings - EUROCON 2015

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

???event.eventtypes.event.conference???	International Conference on Computer as a Tool, IEEE EUROCON 2015
Ülke/Bölge	Spain
Şehir	Salamanca
Periyot	8/09/15 → 11/09/15

Bibliyografik not

Publisher Copyright:
© 2015 IEEE.

Belgeye Erişim

10.1109/EUROCON.2015.7313752

Diğer Dosyalar ve Linkler

Link to publication in Scopus

Alıntı Yap

Ali Nur Oz, M., Sener, I., Turay Kaymakci, O., Ustoglu, I., & Cansever, G. (2015). A tool for automatic formal modeling of railway interlocking systems. In M. Grana, E. Corchado, J. Fraile-Ardanuy, H. Quintian, A. Kakarountas, J. Haase, & C. J. Debono (Eds.), Proceedings - EUROCON 2015 Makale 7313752 (Proceedings - EUROCON 2015). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/EUROCON.2015.7313752

Ali Nur Oz, Muhammed ; Sener, Ibrahim ; Turay Kaymakci, Ozgur et al. / A tool for automatic formal modeling of railway interlocking systems. Proceedings - EUROCON 2015. editör / Manuel Grana ; Emilio Corchado ; Jesus Fraile-Ardanuy ; Hector Quintian ; Athanasios Kakarountas ; Jan Haase ; Carl James Debono. Institute of Electrical and Electronics Engineers Inc., 2015. (Proceedings - EUROCON 2015).

@inproceedings{d03665d30fdd4007bae6a0b069f01705,

title = "A tool for automatic formal modeling of railway interlocking systems",

abstract = "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.",

keywords = "Automatic model generation, Interlocking system, Railway, Software tool, Timed arc Petri net",

author = "\{Ali Nur Oz\}, Muhammed and Ibrahim Sener and \{Turay Kaymakci\}, Ozgur and Ilker Ustoglu and Galip Cansever",

note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; International Conference on Computer as a Tool, IEEE EUROCON 2015 ; Conference date: 08-09-2015 Through 11-09-2015",

year = "2015",

month = oct,

day = "30",

doi = "10.1109/EUROCON.2015.7313752",

language = "English",

series = "Proceedings - EUROCON 2015",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

editor = "Manuel Grana and Emilio Corchado and Jesus Fraile-Ardanuy and Hector Quintian and Athanasios Kakarountas and Jan Haase and Debono, \{Carl James\}",

booktitle = "Proceedings - EUROCON 2015",

address = "United States",

}

Ali Nur Oz, M, Sener, I, Turay Kaymakci, O, Ustoglu, I & Cansever, G 2015, A tool for automatic formal modeling of railway interlocking systems. in M Grana, E Corchado, J Fraile-Ardanuy, H Quintian, A Kakarountas, J Haase & CJ Debono (eds), Proceedings - EUROCON 2015., 7313752, Proceedings - EUROCON 2015, Institute of Electrical and Electronics Engineers Inc., International Conference on Computer as a Tool, IEEE EUROCON 2015, Salamanca, Spain, 8/09/15. https://doi.org/10.1109/EUROCON.2015.7313752

A tool for automatic formal modeling of railway interlocking systems. / Ali Nur Oz, Muhammed; Sener, Ibrahim; Turay Kaymakci, Ozgur et al.
Proceedings - EUROCON 2015. ed. / Manuel Grana; Emilio Corchado; Jesus Fraile-Ardanuy; Hector Quintian; Athanasios Kakarountas; Jan Haase; Carl James Debono. Institute of Electrical and Electronics Engineers Inc., 2015. 7313752 (Proceedings - EUROCON 2015).

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

TY - GEN

T1 - A tool for automatic formal modeling of railway interlocking systems

AU - Ali Nur Oz, Muhammed

AU - Sener, Ibrahim

AU - Turay Kaymakci, Ozgur

AU - Ustoglu, Ilker

AU - Cansever, Galip

PY - 2015/10/30

Y1 - 2015/10/30

N2 - 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.

AB - 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.

KW - Automatic model generation

KW - Interlocking system

KW - Railway

KW - Software tool

KW - Timed arc Petri net

UR - https://www.scopus.com/pages/publications/84961711163

U2 - 10.1109/EUROCON.2015.7313752

DO - 10.1109/EUROCON.2015.7313752

M3 - Conference contribution

AN - SCOPUS:84961711163

T3 - Proceedings - EUROCON 2015

BT - Proceedings - EUROCON 2015

A2 - Grana, Manuel

A2 - Corchado, Emilio

A2 - Fraile-Ardanuy, Jesus

A2 - Quintian, Hector

A2 - Kakarountas, Athanasios

A2 - Haase, Jan

A2 - Debono, Carl James

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - International Conference on Computer as a Tool, IEEE EUROCON 2015

Y2 - 8 September 2015 through 11 September 2015

ER -

Ali Nur Oz M, Sener I, Turay Kaymakci O, Ustoglu I, Cansever G. A tool for automatic formal modeling of railway interlocking systems. In Grana M, Corchado E, Fraile-Ardanuy J, Quintian H, Kakarountas A, Haase J, Debono CJ, editörler, Proceedings - EUROCON 2015. Institute of Electrical and Electronics Engineers Inc. 2015. 7313752. (Proceedings - EUROCON 2015). doi: 10.1109/EUROCON.2015.7313752

A tool for automatic formal modeling of railway interlocking systems

Özet

Yayın serisi

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

Bibliyografik not

Belgeye Erişim

Diğer Dosyalar ve Linkler

Parmak izi

Alıntı Yap