基于通信的列车控制系统数据安全影响分析

Analysis of Safety Impact of Data in Communication-Based Train Control System

摘要:

为在设计阶段验证交互数据在系统中的安全特性，基于有色Petri网与失效传播模型提出了一种对系统模型自动分析得到输入数据失效最小割集的安全影响分析方法。首先，建立系统的有色Petri网模型，通过对库所数值离散化处理得到用例，对变迁进行单元测试得出失效行为函数，获得具有失效行为变迁的失效传播有色Petri网；然后基于有色Petri网模型的状态空间，通过失效空间生成算法与变迁回溯法，实现由模型状态空间到失效状态空间，再到失效状态树的转换，并通过失效状态树的合并与计算，获得系统失效最小割集。最后通过实验，比较不同数据安全保障措施下系统的失效最小割集变化，验证了安全保障措施对系统安全的作用，实验结果证明了该分析方法的正确性与有效性。

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.