Modeling and formal specification of automated train control system using Z notation

被引：0
|
作者：
Zafar, Nazir Ahmad [1 ]
机构：
[1] Pakistan Inst Engn & Appl Sci, Dept Informat & Comp Sci, Islamabad, Pakistan
来源：
10TH IEEE INTERNATIONAL MULTITOPIC CONFERENCE 2006, PROCEEDINGS | 2006年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper, formal methods which are advanced software engineering techniques, in term of Z notation, are applied for the specification of critical components of automated train control system. At first graph theory is used for modeling of static components of the system and then integrated with Z notation to describe its entire state space. At first real topology is transferred to model topology in graph theory and then switches, crossings, and level crossing are formalized. At the end, these components are composed to define the entire interlocking system. Formal specification of the system is described in Z notation and the model is analyzed using Z/EVES Tool.
引用
下载
收藏
页码：438 / +
页数：2
相关论文
共 50 条
  • [1] Formal model of automated teller machine system using Z notation
    Kanwal, Sofia
    Zafar, Nazir A.
    THIRD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES 2007, PROCEEDINGS, 2007, : 131 - +
  • [2] Formal specification and validation of railway network components using Z notation
    Zafar, N. A.
    IET SOFTWARE, 2009, 3 (04) : 312 - 320
  • [3] Formal Modeling of ATC Signals using Z Notation
    Khan, Naveed Ahmed
    Yousaf, Shahid
    Ahmad, Farooq
    Khan, Sher Afzal
    2012 INTERNATIONAL CONFERENCE ON OPEN SOURCE SYSTEMS AND TECHNOLOGIES (ICOSST), 2012, : 46 - 49
  • [4] Formal specification of a privacy aware access control framework in web services paradigm using Z notation
    20163702789517
    (1) Punjabi University, Regional Centre, Mohali, India; (2) Punjabi University, Patiala, India, 1600, Computer Society of India (Association for Computing Machinery, 2 Penn Plaza, Suite 701, New York, NY 10121-0701, United States): : 11 - 16
  • [5] Formal Specification of Playout System Using Z
    Cao, Yizhen
    Wang, Yongbin
    2ND INTERNATIONAL CONFERENCE ON SIMULATION AND MODELING METHODOLOGIES, TECHNOLOGIES AND APPLICATIONS (SMTA 2015), 2015, : 276 - 282
  • [6] Research on method of modeling and formal verification of the CTCS-3 train control system specification
    Xie Y.-F.
    Tang T.
    Xu T.-H.
    Zhao L.
    Tiedao Xuebao/Journal of the China Railway Society, 2011, 33 (07): : 67 - 72
  • [7] THE FORMAL SPECIFICATION FOR THE INVENTORY SYSTEM USING Z LANGUAGE
    Bakri, Siti Halimah
    Harun, Hanis
    Alzoubi, Amera
    Ibrahim, Rosziati
    COMPUTING & INFORMATICS, 4TH INTERNATIONAL CONFERENCE, 2013, 2013, : 419 - 425
  • [8] A Generic Formal Specification of an Infinite Runner Games for Handheld Devices Using Z-Notation
    Jamil, Abid
    Murtza, Zeshan
    Nazir, Muhammad Kashif
    Waseem, Muhammad
    Ghulam, Zikra
    Farooq, Rao Umer
    2019 IEEE 4TH INTERNATIONAL CONFERENCE ON COMPUTER AND COMMUNICATION SYSTEMS (ICCCS 2019), 2019, : 409 - 413
  • [9] Deriving Formal Specifiction Using Z Notation
    Sidek, Roslina Mohd
    Ahmad, Noraziah
    PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY AND DEVELOPMENT, VOL 1, 2009, : 225 - 229
  • [10] Formal Modeling, Verification and Implementation of a Train Control System
    AskariHemmat, MohammadHossein
    Mohamed, Otmane Ait
    Boukadoum, Mounir
    2015 27TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS (ICM), 2015, : 134 - 137
12345