共 50 条
- [1] The automatic testing platform of CTCS-3 level train control system based on AdmiTest [J]. Zhongguo Tiedao Kexue/China Railway Science, 2013, 34 (04): : 128 - 136
- [2] Research on Automatic Analysis of interoperability testing of CTCS-3 Level Train Control System [J]. 2017 CHINESE AUTOMATION CONGRESS (CAC), 2017, : 803 - 807
- [4] Research on method of modeling and formal verification of the CTCS-3 train control system specification [J]. Tiedao Xuebao/Journal of the China Railway Society, 2011, 33 (07): : 67 - 72
- [5] An Expert System Approach for Generating Test Sequence for CTCS-3 Train Control System [J]. PROCEEDINGS OF THE 2013 FOURTH INTERNATIONAL CONFERENCE ON INTELLIGENT CONTROL AND INFORMATION PROCESSING (ICICIP), 2013, : 271 - 276
- [6] Fault Model-Based Safety Test Method and Application for CTCS-3 Train Control System [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTER, NETWORKS AND COMMUNICATION ENGINEERING (ICCNCE 2013), 2013, 30 : 359 - 362
- [7] Reliability Analysis of Train-centric Control System and CTCS-3 using PMS Modelling Method [J]. 2022 IEEE 25TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), 2022, : 542 - 547
- [8] Research of MRM-based CTCS-3 Level Train Operation Control System Simulation Support Technology [J]. 2009 ASIA-PACIFIC CONFERENCE ON INFORMATION PROCESSING (APCIP 2009), VOL 2, PROCEEDINGS, 2009, : 418 - 421
- [9] Functional safety analysis of CTCS-3 train control system based on UML model [J]. Tang, T. (ttang@bjtu.edu.cn), 1600, Science Press (35): : 59 - 66
- [10] Functional safety analysis of CTCS-3 train control system based on control relationship model [J]. Tiedao Xuebao/Journal of the China Railway Society, 2015, 37 (08): : 36 - 43