参考文献
[ 1 ] 李 娟. 基于故障注入的软件安全测试技术研
究[D]. 合肥:中国科学技术大学,2009.
[ 2 ] Gil D,Gracia J,Baraza J C,et al. A Study of the Effects
of Transient Fault Injection into the VHDL Model of a
Fault-tolerant Microcomputer System [C] / / Proceedings
of the 6th IEEE International On-line Testing Workshop.
Palma de Mallorca,Spain:IEEE Press,2000:73-79.
[ 3 ] Amendola A M,Benso A,Corno F,et al. Fault Behavior
Observation on a Microprocessor System Through a
VHDL Simulation-based Fault Injection Experiment[
C] / / Proceedings of EuroDAC’ 96. [ S. l. ]: ACM Press,1996:536-539.
[ 4 ] Martínez J R,Gil P J, Martín G, et al. Experimental
Validation of High-speed Fault-tolerant Systems Using
Physical Fault Injection [ C ] / / Proceedings of
International Working Conference on Dependable
Computing for Critical Applications. Washington D. C. , USA:IEEE Computer Society,1999:233-249.
[ 5 ] Arlat J, Crouzet Y, Laprie J C. Fault Injection for
Dependability Validation of Fault-tolerant Computer
Systems [ C ] / / Proceedings of the 19th Annual
International Symposium. Los Alamitos, USA: IEEE
Press,1989:348-355.
[ 6 ] Madeira H,Rela M,Moreira F,et al. RIFLE:A General
Purpose Pin-level Fault Injector[C] / / Proceedings of the
1st European Dependable Computing Conference.
Berlin,Germany:Springer-Verlag,1994:199-216.
[ 7 ] Gunnetlo O, Karlsson J, Tonn J. Evaluation of Error
Detection Schemes Using Fault Injection by Heavy-ion
Radiation [ C ] / / Proceedings of the 19th International
Symposium on Fault-tolerant Computing. Chicago, USA:IEEE Press,1989:340-347.
[ 8 ] Karlsson J, Arlat J, Leber G. Application of Three
Physical Fault Injection Techniques to the Experimental
Assessment of the MARS Architecture [ C ] / /
Proceedings of DCCA’ 95. Los Alamitos, USA: IEEE
Press,1995:150-161.
[ 9 ] Tsai T K,Iyer R K. An Approach to Benchmarking of
Fault-tolerant Commercial Systems[C] / / Proceedings of
International Symposium on Fault-tolerant Computing.
Sendai,Japan:IEEE Press,1996:314-323.
[10] Kanawati G A, Kanawati N A, Abraham J A.
FERRARI: A Tool for the Validation of System
Dependability Properties[C] / / Proceedings of the 22nd
Annual International Symposium Fault-tolerant
Computing. Los Alamitos, USA: IEEE Press, 1992:
336-344.
[11] Han S,Rosenberg H,Shin K. DOCTOR:An Integrated
Software Fault Injection Environment[R]. University of
Michigan,Technical Report:CSE-TR-192-93,1993.
[12] Carreira J,Madeira H,Silva J. Xception:A Technique
for the Experimental Evaluation of Dependability in
Modern Computers[J]. IEEE Transactions on Software
Engineering,1998,24(2):125-136.
[13] Jeitler M, Delvai M, Reich S. FuSE———A Hardware
Accelerated HDL Fault Injection Tool[C] / / Proceedings
of Southern Conference on Programmable Logic.
Sao Carlos,Brazil:IEEE Press,2009:89-94.
[14] Baraza J C,Gracia J, Gil D, et al. A Prototype of a
VHDL-based Fault Injection Tool: Description and
Application[J]. Journal of Systems Architecture,2002,
47(10):847-867.
[15] Zarandi H R,Miremadi G, Ejlali A R. Fault Injection
into Verilog Models for Dependability Evaluation of
Digital Systems [C] / / Proceedings of the International
Symposium on Parallel and Distributed Computing.
[S. l. ]:IEEE Press,2003:281-287.
[16] Sieh V,Tschche O,Balbach F. VERIFY:Evaluation of
Reliability Using VHDL———Models with Embedded
Fault Descriptions [ C ] / / Proceedings of the 27th
International Symposium on Fault-tolerant Computing.
Seattle,USA:IEEE Press,1997:32-36.(
下转第75 页)
(上接第62 页)
[17] Rousselle C,Pflanz M, Behling A, et al. A Registertransfer-
level Fault Simulator for Permanent and
Transient Faults in Embedded Processors [ C ] / /
Proceedings of DATE ’ 01. Munich, Germany: IEEE
Press,2001:1530-1591.
[18] Delong T A, Johnson B W, Profetan J A. A Fault
Injection Technique for VHDL Behavioral-level
Models[J]. IEEE Design & Test of Computers,1996,
5(3):24-33.
[19] Li M L. SWAT: Designing Resilient Hardware by
Treating Software Anomalies[M]. Chicago,USA:UMI
Dissertation Publishing,2009.
[20] Li M L. Understanding the Propagation of Hard Errors to
Software and Implications for Resilient Systems
Design[C] / / Proceedings of the 13th International
Conference on Architectural Support for Programming
Languages and Operating Systems. New York, USA: ACM Press,2008.
[21] Siewiorek D P,Swarz R S. Reliable Computer Systems: Design and Evaluation [M]. New York, USA: Digital
Press,1992.
编辑 陆燕菲 |