基于故障注入的安全计算机通信总线测试方法研究

基金项目: 国家自然科学基金（U1534208）; 国家重大研发计划（2016YFB1200600）

详细信息

Test method of safety computer communication bus based on fault injection

1.
School of Electronic and Information Engineering, Beijing Jiaotong University, Beijing 100044, China;
2.
National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University, Beijing 100044, China

摘要: 随着我国高速铁路的飞速发展,对列车安全性的要求日益提高。由于实际环境与测试环境有区别,某些特定场景靠故障注入的方式能够有效地发现设计上的缺陷。文章使用故障注入的测试方法对安全计算机内部通信总线进行故障注入测试,对通信总线内部的故障进行分析,提出了对通信总线物理层、链路层的软件故障注入方法,并实现了对通信总线的故障注入。
- 故障注入 /
- 安全计算机 /
- 通信总线 /
- 物理层 /
- 链路层
Abstract: With the rapid development of high speed railway in our country, the requirement of train safety is increasing day by day. Because the actual environment is different from the testing environment, the design flaws of some particular scenes can be effectively identified by means of fault injection. This article used the fault injection test to test the internal communication bus of the security computer, proposed a software fault injection method for communication bus physical layer and link layer, implemented the fault injection of communication bus.
- fault injection /
- safety computer /
- communication bus /
- physical layer /
- data link layer

[1]	郭志良. 基于时间自动机模型的CBTC系统安全计算机平台的形式化验证[D]. 北京:北京交通大学, 2010.
[2]	刘海旭, 马连川, 李世光. 一种安全计算机板级测试系统的设计与实现[J]. 现代电子技术, 2011, 34(5):131-134.
[3]	金丹. 安全计算机平台测试序列的生成及应用 [D]. 北京:北京交通大学, 2013 .
[4]	Hsueh M C, Tsai T K, Iyer R K.Fault injection techniques and tools[J]. Computer, 1997, 30(4):75-82.
[5]	何浩洋. 改进的FlexRay总线实现及调度算法优化[D]. 北京:北京交通大学, 2013.
[6]	Ding S, Yin X, Xu H, et al.A Hybrid GA-based Scheduling Method for Static Segment in FlexRay Systems[C]. Chinese Control and Decision Conference,2010:1548-1552.
[7]	Maier R, Bauer G, Stöger G, et al.Time-triggered architecture: a consistent computing platform[J]. IEEE Micro, 2010, 22(4):36-45.
[8]	徐光侠. 分布式实时系统的软件故障注入及可靠性评测方法研究[D]. 重庆:重庆大学,2011.
[9]	Du W, Mathur A P.Vulnerability Testing of Software System Using Fault Injection[J]. Purdue University, 2000.
[10]	J. Arlat, Y. Crouzet,J.C. Laprie, Fault Injection for Depen-dability Validation of Fault-Tolerant Computer Systems[C]. Proc. 19th Ann. Int’l Symp. Fault-Tolerant Computing, IEEE CS Press, Los Alamitos, Calif., 1989:348-355.