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 条
  • [21] Formal specification and development of a safety-critical train management system
    Chiappini, A
    Cimatti, A
    Porzia, C
    Rotondo, G
    Sebastiani, R
    Traverso, P
    Villafiorita, A
    COMPUTER SAFETY, RELIABILITY AND SECURITY, 1999, 1698 : 410 - 419
  • [22] FORMAL SPECIFICATION OF AN ACCESS-CONTROL SYSTEM
    STEPNEY, S
    LORD, SP
    SOFTWARE-PRACTICE & EXPERIENCE, 1987, 17 (09): : 575 - 593
  • [23] Formal specifications of the European Train Control System
    Janhsen, A
    Lemmer, K
    Ptok, B
    Schnieder, E
    TRANSPORTATION SYSTEMS 1997, VOLS 1-3, 1997, : 1139 - 1144
  • [24] Application of formal methods in train control system
    Cao, Yuan
    Tang, Tao
    Xu, Tian-Hua
    Mu, Jian-Cheng
    Jiaotong Yunshu Gongcheng Xuebao/Journal of Traffic and Transportation Engineering, 2010, 10 (01): : 112 - 126
  • [25] Formal Specification and Verification of CSMA/CD Protocol Using Z
    Shukur, Zarina
    Alias, Nursyahidah
    Idrus, Bahari
    Halip, Mohd Hazali Mohamed
    JURNAL KEJURUTERAAN, 2009, 21 : 85 - 96
  • [26] Formal specification of CORBA services using Object-Z
    Kreuz, D
    SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1998, : 180 - 189
  • [27] Modeling and Verification of Control System Specification for Railway Level Crossings Based on Formal Method
    Wang K.
    Wang Z.
    Xinan Jiaotong Daxue Xuebao/Journal of Southwest Jiaotong University, 2019, 54 (03): : 573 - 578and603
  • [28] Web Service Choreography Verification Using Z Formal Specification
    Rastegari, Y.
    Sajadi, Z.
    Shams, F.
    INTERNATIONAL JOURNAL OF ENGINEERING, 2016, 29 (11): : 1549 - 1557
  • [29] Automated Formal Approach for Debugging Dividers Using Dynamic Specification
    Haghbayan, Mohammad-Hashem
    Alizadeh, Bijan
    Rahmani, Amir-Mohammad
    Liljeberg, Pasi
    Tenhunen, Hannu
    PROCEEDINGS OF THE 2014 IEEE INTERNATIONAL SYMPOSIUM ON DEFECT AND FAULT TOLERANCE IN VLSI AND NANOTECHNOLOGY SYSTEMS (DFTS), 2014, : 264 - 269
  • [30] Formal Modeling and Verification Methods for the System Requirement Specifications of Train Control Systems: A Survey
    Cheng, Ruijun
    Chen, Dewang
    Song, Haifeng
    Liu, Hui
    Cheng, Huize
    IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2025, 26 (02) : 1419 - 1440
12345