Yayın:
A Tool for Automatic Formal Modeling of Railway Interlocking Systems

Basit öğe sayfası
dc.contributor.authorOz, Muhammed Ali Nur
dc.contributor.authorSener, Ibrahim
dc.contributor.authorKaymakci, Ozgur Turay
dc.contributor.authorUstoglu, Ilker
dc.contributor.authorCansever, Galip
dc.date.accessioned2026-06-27T13:53:48Z
dc.date.issued2015
dc.description.abstractThis 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.en
dc.identifier.endpage29
dc.identifier.isbn978-1-4799-8569-2
dc.identifier.startpage26
dc.identifier.urihttps://hdl.handle.net/20.500.14981/55415
dc.identifier.wos000380463400089
dc.language.isoeng
dc.publisherIEEE
dc.relation.conferenceInternational Conference on Computer as a Tool (EUROCON), IEEE
dc.relation.ispartofIEEE EUROCON 2015 - INTERNATIONAL CONFERENCE ON COMPUTER AS A TOOL (EUROCON)
dc.subjectSoftware tool
dc.subjectAutomatic model generation
dc.subjectInterlocking system
dc.subjectRailway
dc.subjectTimed arc Petri net
dc.subjectComputer Science
dc.titleA Tool for Automatic Formal Modeling of Railway Interlocking Systems
dc.typeProceedings Paper
dspace.entity.typePublication
local.import.sourceWOS

Dosyalar

Koleksiyonlar

Yayınlar