Li Chunhui, Cao Xin. Application of SCADE-based Requirement Analysis and Test Case Design in RMU Subsystem of New Train Control System[J]. Railway Signalling & Communication Engineering, 2021, 18(2): 27-32,50.
[1]林枫.基于SCADE的形式化验证技术研究[J].测控技术,2011,30(12):71-74.
Lin Feng. Research on SCADE-Based Formal Verification Technology[J]. Measurement & Control Technology, 2011, 30(12): 71-74.
[2]李耀,陈荣武,郭进,等.基于TSSM的城市轨道交通CBTC区域控制器建模与验证[J].西南交通大学学报,2015,50(1):27-35.
Li Yao, Chen Rongwu, Guo Jin, et al. Modeling and Verification of TSSM-Based CBTC Zone Controller for Urban Rail Transit[J]. Journal of Southwest Jiaotong University, 2015, 50(1): 27-35.
[3]李耀,郭进,杨扬,等.铁路信号安全关键软件形式化建模[J].铁道学报,2017,39(9):74-80.
Li Yao, Guo Jin, Yang Yang, et al. Formal Modeling of Railway Signal Safety Critical Software[J]. Journal of the China Railway Society, 2017, 39(9): 74-80.
[4]蒋育康,郭爱煌,艾渤,等.城市轨道交通隧道环境下大规模MIMO信道建模[J].铁道学报,2018,40(11):84-90.
Jiang Yukang, Guo Aihuang, Ai Bo, et al. Massive MIMO Channel Modeling for Tunnel of Urban Rail Transit[J]. Journal of the China Railway Society, 2018, 40(11): 84-90.
[5]刘金涛,李克平.需求阶段的无线闭塞中心交接危险因素分析[J].铁道学报,2018,40
(4):74-82.
Liu Jintao, Li Keping. Hazardous Factor Analysis for Radio Block Center Handover in Requirements Phase[J]. Journal of the China Railway Society, 2018, 40(4): 74-82.
[6]周瑾,张志韬.列控车载通信单元自动测试系统[J].铁路通信信号工程技术,2019,16(4):40-44.
Zhou Jin, Zhang Zhitao. Automatic Test System of Onboard Mobile Terminal in Train Control System[J]. Railway Signalling & Communication Engineering, 2019, 16(4): 40-44.
[7]安闯.CTCS-3级列控车载设备主要技术指标的测试方法研究与实现[J].铁路通信信号工程技术,2019,16(5):17-22.
An Chuang. Research and Implementation of Test Methods for Main Technical Indicators of CTCS-3 ATP On-board Equipment[J]. Railway Signalling & Communication Engineering, 2019, 16(5): 17-22.
[8]杨丽丽.基于PICT的API测试用例设计应用[J].软件,2019,40(3):222-226.
Yang Lili. The Application of API Test Case Design Based on PICT[J]. Computer Engineering & Software, 2019, 40(3): 222-226.
[9]林荣峰,施健,朱晏庆,等.基于STP方法的SCADE模型形式化验证框架[J].计算机工程,2019,45(10):70-77.
Lin Rongfeng, Shi Jian, Zhu Yanqing, et al. Formal Verification Framework of SCADE Model Based on STP Method[J]. Computer Engineering, 2019, 45(10): 70-77.