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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4 Citations (Scopus)

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.

Original language	English
Title of host publication	Proceedings - EUROCON 2015
Editors	Manuel Grana, Emilio Corchado, Jesus Fraile-Ardanuy, Hector Quintian, Athanasios Kakarountas, Jan Haase, Carl James Debono
Publisher	Institute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)	9781479985692
DOIs	https://doi.org/10.1109/EUROCON.2015.7313752
Publication status	Published - 30 Oct 2015
Externally published	Yes
Event	International Conference on Computer as a Tool, IEEE EUROCON 2015 - Salamanca, Spain Duration: 8 Sept 2015 → 11 Sept 2015

Publication series

Name	Proceedings - EUROCON 2015

Conference

Conference	International Conference on Computer as a Tool, IEEE EUROCON 2015
Country/Territory	Spain
City	Salamanca
Period	8/09/15 → 11/09/15

Bibliographical note

Publisher Copyright:
© 2015 IEEE.

Keywords

Automatic model generation
Interlocking system
Railway
Software tool
Timed arc Petri net

Access to Document

10.1109/EUROCON.2015.7313752

Cite this

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 Article 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. editor / 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).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 - http://www.scopus.com/inward/record.url?scp=84961711163&partnerID=8YFLogxK

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, editors, 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

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this