Automatic generation and verification of railway interlocking control tables using FSM and NuSMV

被引：0
|
作者：
School of Railway Engineering, Iran University of Science and Technology, Tehran, Iran [1 ]
机构：
来源：
Int. J. Eng. Model. | 2008年 / 1-4卷 / 57-63期
关键词：
Model checking;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：57 / 63
相关论文
共 50 条
  • [1] AUTOMATIC GENERATION AND VERIFICATION OF RAILWAY INTERLOCKING CONTROL TABLES USING FSM AND NUSMV
    Mirabadi, Ahmad
    Yazdi, Mohammad B.
    TRANSPORT PROBLEMS, 2009, 4 (01) : 103 - 110
  • [2] 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
  • [3] Automatic generation of VHDL code for a railway interlocking system
    Menendez, Martin N.
    Germino, Santiago
    Larosa, Facundo S.
    Lutenberg, Ariel
    INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2021, 14 (06) : 544 - 552
  • [4] Automated generation of formal safety conditions from railway interlocking tables
    Anne E. Haxthausen
    International Journal on Software Tools for Technology Transfer, 2014, 16 : 713 - 726
  • [5] Automated generation of formal safety conditions from railway interlocking tables
    Haxthausen, Anne E.
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2014, 16 (06) : 713 - 726
  • [6] Integrating automatic verification of safety requirements in Railway Interlocking System design
    Dipoppa, G
    D'Alessandro, G
    Semprini, R
    Tronci, E
    SIXTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, 2001, : 209 - 219
  • [7] Modelling Railway Interlocking Tables Using Coloured Petri Nets
    Vanit-Anunchai, Somsak
    COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2010, 6116 : 137 - 151
  • [8] Automatic Generation of Petri Net Supervisors for Railway Interlocking Design
    Durmus, Mustafa S.
    Yildirim, Ugur
    Soylemez, Mehmet T.
    2012 2ND AUSTRALIAN CONTROL CONFERENCE (AUCC), 2012, : 180 - 185
  • [9] Experience using Coloured Petri Nets to Model Railway Interlocking Tables
    Vanit-Anunchai, Somsak
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (156): : 17 - 28
  • [10] Layout Validation using Graph Grammar and Generation of Yard Specific Safety Properties for Railway Interlocking Verification
    Ghosh, Devleena
    Mandal, Chittaranjan
    2015 22ND ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2015), 2015, : 330 - 337
12345