Safety Analysis of Train Control System Based on Colored Petri Nets and System-Theoretic Process Analysis

2018 ◽  
pp. 175-184
Author(s):  
Shaoqiang Hu ◽  
Daohua Wu ◽  
Huashen Wang
Keyword(s):  
Control System ◽  
Petri Nets ◽  
Process Analysis ◽  
Safety Analysis ◽  
Colored Petri Nets ◽  
Train Control ◽  
Train Control System

Research on Formal Modeling Based on CPN for Movement Authority of High-Speed Railway CTCS-3

2012 ◽  
Vol 220-223 ◽  
pp. 2783-2787
Author(s):  
Shu Xu Zhao ◽  
Xiao Ming Wang ◽  
Ai Ling Zhang
Keyword(s):  
Control System ◽  
High Speed ◽  
Formal Model ◽  
Colored Petri Nets ◽  
Formal Modeling ◽  
High Speed Railway ◽  
Train Control ◽  
Transmission Process ◽  
Train Control System ◽  
Information Change

Train Movement Authority(MA) concerns train movement safety. This paper proposed a formal model for Chinese Train Control System-3(CTCS-3) based on train MA. Paper analyzed the rounded CTCS-3, formed MA computation models for various application functions, and finished MA hierarchical and functional computation models based on Colored Petri Nets(CPN). The results of experiment demonstrates that the model proposed in this paper is effective, it can reflect the whole information change and transmission process of CTCS-3 accurately, and can help to design and develop MA of CTCS-3.

Safety analysis of train control system based on model-driven design methodology

2019 ◽  
Vol 105 ◽  
pp. 1-16
Author(s):  
Abdelhakim Baouya ◽  
Otmane Ait Mohamed ◽  
Djamal Bennouar ◽  
Samir Ouchani
Keyword(s):  
Control System ◽  
Design Methodology ◽  
Safety Analysis ◽  
Model Driven ◽  
Train Control ◽  
Train Control System

Petri Net-Based Modeling and Verification of Automatic Train Speed Control System

2014 ◽  
Vol 571-572 ◽  
pp. 395-399 ◽  
Author(s):  
Rong Hua ◽  
You Fu ◽  
Jian Zhi Yu ◽  
Cong Liu
Keyword(s):  
Control System ◽  
Petri Nets ◽  
Control Systems ◽  
Petri Net ◽  
Formal Model ◽  
Speed Control ◽  
Train Control ◽  
Train Control System ◽  
Speed Control System ◽  
Train Speed

How to provide dependability based on safety is a challenge faced by train control system. Formal approaches are important for modeling and verification of automatic speed control Systems. In the paper, a formal model of automatic speed control Systems based on Petri nets (ASCS-nets) is presented. And the transformation approaches from automatic train speed control system to ASCS-nets are given. Correctness verification of automatic train speed control system is implemented based on ASCS-nets model.

Realistic Modelling of Train Control System with Coloured Petri Nets

2012 ◽  
Vol 45 (24) ◽  
pp. 19-23 ◽  
Author(s):  
Daohua Wu ◽  
Eckehard Schnieder ◽  
Debiao Lu ◽  
Hansjörg Manz
Keyword(s):  
Control System ◽  
Petri Nets ◽  
Coloured Petri Nets ◽  
Train Control ◽  
Train Control System
Sign in / Sign up

Export Citation Format

Share Document