车载ATP是保证列车安全运行的关键列控设备.为满足其苛刻的安全要求,实际应用之前需要对其进行全面严格的测试.传统的编写测试用例的方法过分依赖人工经验,耗时耗力,且测试质量难以保证.提出一种基于SCADE模型自动生成车载ATP测试用例的方法.首先,利用SCADE对车载ATP系统进行建模,并针对安全状态机模型生成满足全迁移覆盖准则的测试用例;再根据M C/DC覆盖准则生成测试数据,将抽象的测试用例转化为可直接用于测试的具体测试用例集;最后,通过变异分析对生成的测试用例进行评估.结果表明,测试用例具有良好的覆盖度,优于传统人工方法.

Train control system is the core equipment to ensure the safety of railway operation. The conventional train control fails to consider the hybrid features of the system. In this paper, a hybrid modeling method for the positive safety of RBC sub-system in CTCS-3 train control system is proposed. Firstly, the paper analyzes the hybrid behaviors of the train control system, and presents a formal description of the positive safe function. Secondly, based on the integration of SCADE and Simulink, a hybrid modeling method is proposed. Finally, the simulation results show that the designed positive safe functions can effectively improve the safety and performance for train control.

Train control system is designed for ensuring the safety of trains in rail operation, and route safety is a key problem of train control. Due to its safety-critical nature and complicated circumstance, train control system is a typical large-scale and complex system. To address the serious challenge of route safety verification in the system development, this paper proposes a novel method by integrating the function model and the fail-safe fault model of train control. According to the fail-safe principle of railway signaling, with the help of Scade formalism, route safety properties are expressed into a fault tree. The two models are investigated for compatibility and, interlinkage constrains are discussed. Then integration rules are defined to combine the fault tree model and the function model into one lumping model, on which the safety verification is performed using Fault Tree Analysis (FTA). To illustrate how to apply the approach, examples are carried out on a part of WuGuang high-speed railway line in China. The results show that the proposed method has a good performance and meets the critical requirements of route safety verification for train control system.