[1] Esterel Technologies SAS.SCADE System User Manual[M]. France:Esterel Technologies SAS,2015.
[2]张路.基于SCADE的CBTC区域控制器软件开发[D].北京:北京交通大学,2010.
[3]陈香凝,王烨阳,陈婷婷.Windows网络与通信程序设计[M].北京:人民邮电出版社,2017.
[4]高传善,毛迪林,曹袖.数据通信与计算机网络:习题解答与实验指南[M].北京:高等教育出版社,2005.
[5]胡钢伟,李振水,高亚奎.SCADE软件开发方法研究[J].系统仿真学报,2008,20(S2):286-288.
Hu Gangwei, Li Zhenshui, Gao Yakui. A Research on Software Development Methods with SCADE[J]. Journal of System Simulation, 2008, 20(S2): 286-288.
[6]李春慧,曹欣.基于SCADE需求分析和用例设计在新型列控系统-RMU子系统的应用[J].铁路通信信号工程技术,2021,18(2):27-32.
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.
[7]刘攀峰.安全相关软件的设计方法研究及应用[D].杭州:浙江大学,2012:8-20.
[8]林瑜筠.城市轨道交通信号[M].北京:中国铁道出版社,2010:119-138.
[9]陈淑珍,陈荣武,李耀.基于SCADE的安全软件开发方法研究[J].铁路计算机应用,2015,24(3):14-18.
Chen Shuzhen, Chen Rongwu, Li Yao. Method of SCADE-Based Safety Software Development[J]. Railway Computer Application, 2015, 24(3): 14-18.