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

Qian Xu; Junting Lin

doi:10.1007/978-981-15-1922-2_31

ScienceGate Book Chapters

BOOK-CHAPTER

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

Qian Xu Junting Lin

Year: 2019 Communications in computer and information science Pages: 433-449 Publisher: Springer Science+Business Media

DOI: 10.1007/978-981-15-1922-2_31

Get Full-Text PDF Get Analytical Report

Keywords:

Computer science Fault tree analysis Petri net Process (computing) Tree (set theory) Block (permutation group theory) Executable Distributed computing Real-time computing Data mining Reliability engineering Programming language Engineering

Metrics

Cited By

2.64

FWCI (Field Weighted Citation Impact)

Refs

0.92

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Risk and Safety Analysis

Social Sciences → Decision Sciences → Statistics, Probability and Uncertainty

Occupational Health and Safety Research

Health Sciences → Health Professions → Radiological and Ultrasound Technology

Human-Automation Interaction and Safety

Social Sciences → Psychology → Social Psychology

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

Metrics

Citation History

Topics

Related Documents

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

Verification of the safety communication protocol in train control system using colored Petri net

Performance Analysis of a Train-to-Train Communication System using Colored Petri nets

The modeling and Analysis of Data Communication System (DCS) in Communication Based Train Control (CBTC) with Colored Petri Nets

The test of train control system based on Colored Petri Net