Dependability and Safety Analysis of ETCS Communication for ERTMS Level 3 Using Performance Statecharts and Analytic Estimation

被引:8
|
作者
Babczynski, Tomasz [1 ]
Magott, Jan [1 ]
机构
[1] Wroclaw Univ Technol, Inst Comp Engn Control & Robot, PL-50370 Wroclaw, Poland
关键词
ETCS communication and operation; performance statecharts; Monte-Carlo simulation; FAULT-TREES; SIMULATION;
D O I
10.1007/978-3-319-07013-1_4
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Dependability and safety in European Rail Traffic Management System (ERTMS) level 3 are influenced by quality of localisation of trains and communication. In the paper, dependability and safety of European Train Control System (ETCS) communication for ERTMS level 3 is considered. In ERTMS level 3, traffic is controlled by so called moving block that is associated with the distance between subsequent trains. Relationship between probability of emergency train braking as a function of distance between subsequent trains is studied. In the study, the following parameters are taken into account: train speed, emergency braking distance, train length, position localization error, random variable of emergency braking and stopping times, parameters of transmission between trains and radio block centres, processing time in these centres. In order to find this relationship, the following methods: performance statecharts based and analytic estimation have been proposed. Quality of these methods is investigated.
引用
收藏
页码:37 / 46
页数:10
相关论文
共 28 条
  • [1] Dependability and safety analysis of ERTMS level 3 using analytic estimation
    Babczynski, T.
    Magott, J.
    SAFETY AND RELIABILITY: METHODOLOGY AND APPLICATIONS, 2015, : 293 - 298
  • [2] Modeling of ERTMS Level 2 as an SoS and Evaluation of its Dependability Parameters Using Statecharts
    Qiu, Siqi
    Sallak, Mohamed
    Schoen, Walter
    Cherfi-Boulanger, Zohra
    IEEE SYSTEMS JOURNAL, 2014, 8 (04): : 1169 - 1181
  • [3] Validation of the Hybrid ERTMS/ETCS Level 3 using Spin
    Arcaini, Paolo
    Kofron, Jan
    Jezek, Pavel
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2020, 22 (03) : 265 - 279
  • [4] Validation of the Hybrid ERTMS/ETCS Level 3 using Spin
    Paolo Arcaini
    Jan Kofroň
    Pavel Ježek
    International Journal on Software Tools for Technology Transfer, 2020, 22 : 265 - 279
  • [5] Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude
    James, Phillip
    Lawrence, Andrew
    Roggenbach, Markus
    Seisenberger, Monika
    FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, (FTSCS 2015), 2016, 596 : 103 - 120
  • [6] Capacity evaluation of ERTMS/ETCS hybrid level 3 using simulation methods
    Knutsen, Daniel
    Olsson, Nils O. E.
    Fu, Jiali
    JOURNAL OF RAIL TRANSPORT PLANNING & MANAGEMENT, 2024, 30
  • [7] A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard
    Mammar, Amel
    Frappier, Marc
    Fotso, Steve Jeffrey Tueno
    Laleau, Regine
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2020, 22 (03) : 333 - 347
  • [8] A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard
    Amel Mammar
    Marc Frappier
    Steve Jeffrey Tueno Fotso
    Régine Laleau
    International Journal on Software Tools for Technology Transfer, 2020, 22 : 333 - 347
  • [9] Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach
    Tueno Fotso, Steve Jeffrey
    Frappier, Marc
    Laleau, Regine
    Mammar, Amel
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2020, 22 (03) : 349 - 363
  • [10] Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach
    Steve Jeffrey Tueno Fotso
    Marc Frappier
    Régine Laleau
    Amel Mammar
    International Journal on Software Tools for Technology Transfer, 2020, 22 : 349 - 363