[1] Goloubeva O, Rebaudengo M, Reorda M S, et al. Soft-error Detection Using Control Flow Assertions[C]//Proc. of the 18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems. Los Alamitos, California, USA: [s. n.], 2003.
[2] Cheynet P, Nicolescu B, Velazco R, et al. Experimentally Evalu- ating an Automatic Approach for Generating Safety-critical Software with Respect to Transient Errors[J]. IEEE Trans. on Nuclear Science, 2000, 47(6): 2231-2236.
[3] Ziegler J F. IBM Experiments in Soft Fails in Computer Elec- tronics(1978-1994)[J]. IBM Journal of Research and Development, 1996, 40(1): 3-18.
[4] Mahmood A, McCluskey E J. Concurrent Error Detection Using Watchdog Processors——A Survey[J]. IEEE Trans. on Computers, 1988, 37(2): 160-174.
[5] Nahmsuk O, Shirvani P P, McCluskey E J. Control Flow Checking by Software Signatures[J]. IEEE Trans. on Reliability, 2002, 51: 111-122.
[6] Huang J C. Detection of Data Flow Anomaly Through Program Instrumentation[J]. IEEE Trans. on Software Engineering, 1979, 5(3): 226-236.
[7] Nahmsuk O, Subhasish M, McCluskey E J. ED4I: Error Detection by Diverse Data and Duplicated Instructions[J]. IEEE Trans. on Computers, 2002, 51(2): 180-199.
[8] Avizienis A. The N-version Approach to Fault-tolerant Software[J]. IEEE Trans. on Software Engineering, 1985, 11(12): 1491-1501.
[9] 曾宪炼, 马捷中, 任向隆, 等. 基于VHDL的故障注入技术[J]. 计算机工程, 2010, 36(11): 244-246.
[10] Henrique M, Mário R, Francisco M. RIFLE: A General Purpose Pin-level Fault Injector[C]//Proc. of the 1st European Dependable Computing Conference. Berlin, Germany: [s. n.], 1994.
[11] Kao Weilun, Ravishankar K I, Tang Dong. FINE: A Fault Injection and Monitoring Environment for Tracing the UNIX System Behavior Under Faults[J]. IEEE Trans. on Software Engineering, 1993, 19(11): 1105-1118.
[12] Pan Qinghe, Hong Bingrong R, Pan Qishu. A Software- implemented Fault Injector on Windows NT Platform[J]. Information Technology Journal, 2010, 9(3): 576-582.
[13] Lorentzen T. Attitude Control and Determination System for DTUsat1[EB/OL]. (2002-02-01). http://microsat.sm.bmstu.ru/e- library/Algorithms/CommonDesign/dtu_torsten.pdf.
[14] Hoots F R, Roehrich R L. Space Track Report No.3.Technical Report[EB/OL]. [2010-04-11]. http://celestrack.com/NORAD/ documentation/spacetrk.pdf. |