A Tool for Automatic Formal Modeling of Railway Interlocking Systems

被引：0
|
作者：
Oz, Muhammed Ali Nur [1 ]
Sener, Ibrahim [1 ]
Kaymakci, Ozgur Turay [1 ]
Ustoglu, Ilker [1 ]
Cansever, Galip [1 ]
机构：
[1] Yildiz Tech Univ, Control & Automat Engn, Istanbul, Turkey
来源：
IEEE EUROCON 2015 - INTERNATIONAL CONFERENCE ON COMPUTER AS A TOOL (EUROCON) | 2015年
关键词：
Software tool; Automatic model generation; Interlocking system; Railway; Timed arc Petri net;
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
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.
引用
收藏
页码：26 / 29
页数：4
相关论文
共 50 条
  • [1] An automatic formal model generation and verification method for railway interlocking systems
    Oz, Muhammed Ali
    Kaymakci, Ozgur Turay
    Gazi University Journal of Science, 2017, 30 (02): : 133 - 147
  • [2] FORMAL VALIDATION METHOD FOR COMPUTERIZED RAILWAY INTERLOCKING SYSTEMS
    Antoni, Marc
    CIE: 2009 INTERNATIONAL CONFERENCE ON COMPUTERS AND INDUSTRIAL ENGINEERING, VOLS 1-3, 2009, : 1532 - 1541
  • [3] Validation of Railway Interlocking Systems by Formal Verification, A Case Study
    Bonacchi, Andrea
    Fantechi, Alessandro
    Bacherini, Stefano
    Tempestini, Matteo
    Cipriani, Leonardo
    SOFTWARE ENGINEERING AND FORMAL METHODS, 2014, 8368 : 237 - 252
  • [4] Design of Signal Control Structures Using Formal Methods for Railway Interlocking Systems
    Eris, Oytun
    Mutlu, Ilhan
    11TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS AND VISION (ICARCV 2010), 2010, : 776 - 780
  • [5] Experiences with the Formal Modeling of the Geographical and Tabular Principles of Interlocking Systems
    Lukacs, G.
    Farkas, B.
    Bartha, T.
    TRANSPORT MEANS 2017, PTS I-III, 2017, : 499 - 504
  • [6] Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release
    Vu, Linh H.
    Haxthausen, Anne E.
    Peleska, Jan
    FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2014, 2015, 476 : 223 - 238
  • [7] NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems
    Amendola, Arturo
    Becchi, Anna
    Cavada, Roberto
    Cimatti, Alessandro
    Ferrando, Andrea
    Pilati, Lorenzo
    Scaglione, Giuseppe
    Tacchella, Alberto
    Zamboni, Marco
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT I, 2022, 13243 : 125 - 142
  • [8] Verification of railway interlocking systems
    Busard, Simon
    Cappart, Quentin
    Limbree, Christophe
    Pecheur, Charles
    Schaus, Pierre
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (184): : 19 - 31
  • [9] Research on formal models of railway signal interlocking logics
    Chen, Bang-Xing
    Wu, Fang-Mei
    Tiedao Xuebao/Journal of the China Railway Society, 2002, 24 (06):
  • [10] RAILWAY INTERLOCKING PROCESS - BUILDING A BASE FOR FORMAL METHODS
    Mocki, Jacek
    Vlacic, Ljubo
    2013 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2013, : 147 - 154
12345