Modeling and Quantitative Safety Analysis of Chinese Train Control System of Systems

2015 IEEE 18th International Conference on Intelligent Transportation Systems ◽

10.1109/itsc.2015.71 ◽

2015 ◽

Cited By ~ 4

Author(s):

Guo Zhou ◽

Huibing Zhao

Keyword(s):

Control System ◽

Safety Analysis ◽

System Of Systems ◽

Train Control ◽

Train Control System

Download Full-text

Safety Analysis Method for COTS Software Components in Train Control System

Proceedings of the 2016 International Conference on Artificial Intelligence and Engineering Applications ◽

10.2991/aiea-16.2016.61 ◽

2016 ◽

Cited By ~ 1

Author(s):

Jiancheng Mu ◽

Dongmei Huang ◽

Lianchuan Ma ◽

Yuan Cao

Keyword(s):

Control System ◽

Safety Analysis ◽

Software Components ◽

Analysis Method ◽

Train Control ◽

Train Control System

Download Full-text

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

Lecture Notes in Electrical Engineering - Proceedings of the 3rd International Conference on Electrical and Information Technologies for Rail Transportation (EITRT) 2017 ◽

10.1007/978-981-10-7989-4_18 ◽

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

Download Full-text

Safety analysis by box modeling method of system behavior-application to train control system

Proceedings 2001 Pacific Rim International Symposium on Dependable Computing ◽

10.1109/prdc.2001.992723 ◽

2002 ◽

Author(s):

S. Hiraguri ◽

N. Nishibori ◽

Y. Hidaka ◽

T. Kasai ◽

H. Nakamura

Keyword(s):

Control System ◽

Safety Analysis ◽

Modeling Method ◽

System Behavior ◽

Train Control ◽

Train Control System

Download Full-text

STPA Based Safety Analysis of Regional Data Center in CTCS-1 Train Control System

2017 International Conference on Computer Technology, Electronics and Communication (ICCTEC) ◽

10.1109/icctec.2017.00237 ◽

2017 ◽

Author(s):

Yong Zhang ◽

Shachen Liu

Keyword(s):

Control System ◽

Data Center ◽

Safety Analysis ◽

Regional Data ◽

Train Control ◽

Train Control System

Download Full-text

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

Computers in Industry ◽

10.1016/j.compind.2018.10.007 ◽

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

Download Full-text

Automated Safety Analysis on Scenario-Based Requirements for Train Control System

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57708-1_4 ◽

2017 ◽

pp. 55-73

Author(s):

Xi Wang ◽

Huaikou Miao ◽

Weikai Miao

Keyword(s):

Control System ◽

Safety Analysis ◽

Train Control ◽

Train Control System

Download Full-text

Safety Analysis of Communication-Based Train Control System by STPA and Colored Petri Net

Communications in Computer and Information Science - Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health ◽

10.1007/978-981-15-1922-2_31 ◽

2019 ◽

pp. 433-449

Author(s):

Qian Xu ◽

Junting Lin

Keyword(s):

Control System ◽

Petri Net ◽

Safety Analysis ◽

Colored Petri Net ◽

Train Control ◽

Train Control System

Download Full-text

STPA Based Safety Analysis of Regional Data Center in CTCS-1 Train Control System

2018 IEEE International Conference of Safety Produce Informatization (IICSPI) ◽

10.1109/iicspi.2018.8690446 ◽

2018 ◽

Author(s):

Zhang Yong ◽

Liu Shachen

Keyword(s):

Control System ◽

Data Center ◽

Safety Analysis ◽

Regional Data ◽

Train Control ◽

Train Control System

Download Full-text

Realization of Combined Systemic Safety Analysis of Adverse Train Control System Using Model Checking

Lecture Notes in Electrical Engineering - Frontier Computing ◽

10.1007/978-981-13-3648-5_49 ◽

2019 ◽

pp. 419-430

Author(s):

Anit Thapaliya ◽

Gihwon Kwon

Keyword(s):

Control System ◽

Model Checking ◽

Safety Analysis ◽

Train Control ◽

Train Control System

Download Full-text

Model-based verification method for solving the parameter uncertainty in the train control system

Reliability Engineering & System Safety ◽

10.1016/j.ress.2015.09.014 ◽

2016 ◽

Vol 145 ◽

pp. 169-182 ◽

Cited By ~ 14

Author(s):

Ruijun Cheng ◽

Jin Zhou ◽

Dewang Chen ◽

Yongduan Song

Keyword(s):

Control System ◽

Parameter Uncertainty ◽

Verification Method ◽

Train Control ◽

Model Based ◽

Train Control System

Download Full-text