共 50 条
- [1] Functional safety analysis of CTCS-3 train control system based on control relationship model Tiedao Xuebao/Journal of the China Railway Society, 2015, 37 (08): : 36 - 43
- [2] Fault Model-Based Safety Test Method and Application for CTCS-3 Train Control System PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTER, NETWORKS AND COMMUNICATION ENGINEERING (ICCNCE 2013), 2013, 30 : 359 - 362
- [3] Functional safety analysis method of CTCS-3 level system based on STPA Zhongguo Tiedao Kexue/China Railway Science, 2014, 35 (05): : 86 - 95
- [4] Analysis of abnormal braking of CTCS-3 train control system based on timed automata 2017 CHINESE AUTOMATION CONGRESS (CAC), 2017, : 5531 - 5536
- [5] Model-based test case automatic generation of CTCS-3 train control system Xinan Jiaotong Daxue Xuebao, 5 (917-927):
- [6] Formalization Model and Safety Analyses of High Speed Train in CTCS-3 Control Mode 2013 INTERNATIONAL CONFERENCE ON MECHANICAL AND AUTOMATION ENGINEERING (MAEE 2013), 2013, : 161 - 167
- [7] Positive Safety Modeling of CTCS-3 Train Control System for High-speed railway 2018 INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2018,
- [9] Research on Automatic Analysis of interoperability testing of CTCS-3 Level Train Control System 2017 CHINESE AUTOMATION CONGRESS (CAC), 2017, : 803 - 807
- [10] The automatic testing platform of CTCS-3 level train control system based on AdmiTest Zhongguo Tiedao Kexue/China Railway Science, 2013, 34 (04): : 128 - 136