Analysis of Safety Impact of Data in Communication-Based Train Control System
CSTR:
Author:
Affiliation:

Key Laboratory of Road and Traffic Engineering of the Ministry of Education, Tongji University, Shanghai 201804, China

Clc Number:

U282+.2

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    In order to verify the safety characteristics of interactive data in the system in the design stage, a safety impact analysis method based on colored Petri nets and the failure propagation model is proposed to automatically analyze the system model and obtain the minimum cut set of input data failure. First, the colored Petri net model of the system is established, and the case is obtained by numerical discretization of the place. The failure behavior function is obtained by unit test of the transition using the use case, and the failure propagation colored Petri net with failure behavior transition is obtained. Then, based on the state space of the colored Petri net model, the failure space generation algorithm and the transition backtracking method are used to realize the transformation from the model state space to the failure state space, and then to failure state tree. The minimum cut set of system failure is obtained by merging and calculating the failure state tree. Finally, through the experiment, the change of the minimum cut set of system failure under different data safety measures is compared, and the effect of security measures on system security is verified. The experimental results prove the correctness and effectiveness of the analysis method.

    Reference
    Related
    Cited by
Get Citation

CHEN Yujia, ZENG Xiaoqing, YUAN Tengfei. Analysis of Safety Impact of Data in Communication-Based Train Control System[J].同济大学学报(自然科学版),2021,49(3):391~399

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:August 07,2020
  • Revised:
  • Adopted:
  • Online: April 06,2021
  • Published:
Article QR Code