| Title | Application of STPA in Temporary Speed Restriction Sending Scenario of Train Control System Based on Vehicle-Vehicle Communication |
| Publication Type | Conference Paper |
| Year of Publication | 2019 |
| Authors | Zhang, Yong, Liu, Yingjie |
| Conference Name | 2019 5th International Conference on Control Science and Systems Engineering (ICCSSE) |
| Keywords | automata theory, CD, control defect, control defects, control engineering computing, control theory, formal verification, Hazards, pubcrawl, railway engineering, railway safety, SDR, security, security design requirement, security design requirements, STPA, STPA method, system theoretic process analysis method, temporary speed restriction sending scenario, train control system, UCA, unsafe control actions, UPPAAL, vehicle-vehicle communication |
| Abstract | In this paper, System Theoretic Process Analysis (STPA) method was used to analyze the security of Temporary Speed Restriction (TSR) sending scenario in train control system based on vehicle-vehicle communication. The security of this scenario was analyzed according to the analysis process of STPA method. Firstly, Unsafe Control Actions (UCAs) in this scenario were identified and Control Defects (CDs) were analyzed. After that, the corresponding Security Design Requirements (SDRs) were formulated according to the obtained control defects. Finally, the time automata network model of TSR sending scenario was established to verify SDRs. The result shows that: STPA method is suitable to discover the unsafe factors and safety hazards of train control system and take corresponding safety measures to prevent the occurrence of accidents. |
| DOI | 10.1109/ICCSSE.2019.00027 |
| Citation Key | zhang_application_2019 |
Application of STPA in Temporary Speed Restriction Sending Scenario of Train Control System Based on Vehicle-Vehicle Communication