A Functional Verification based Fault Injection Environment

Fault injection is needed for different purposes such as analyzing the reaction of a system in a faulty environment or validating fault-detection and/or fault-correction techniques. In this paper we propose a simulation-based fault injection tool able to work at different abstraction levels and with user-defined fault models. By exploiting the facilities provided by a functional verification environment it allows to speed up the entire fault injection process: from the creation of the workload to the analysis of the results of injection campaigns. Moreover, the adoption of techniques to optimize the fault list significantly reduces the simulation time. Being the tool targeted to the validation of dependable systems, it includes a way to extract information from the Failure Mode and Effect Analysis and to correlate fault injection results with estimates.

[1]  Alfredo Benso,et al.  EXFI: a low-cost fault injection system for embedded microprocessor-based boards , 1998, TODE.

[2]  Riccardo Mariani,et al.  Using an innovative SoC-level FMEA methodology to design in compliance with IEC61508 , 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.

[3]  J-C. Laprie,et al.  DEPENDABLE COMPUTING AND FAULT TOLERANCE : CONCEPTS AND TERMINOLOGY , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..

[4]  John D. Musa,et al.  Operational profiles in software-reliability engineering , 1993, IEEE Software.

[5]  Johan Karlsson,et al.  Fault injection into VHDL models: the MEFISTO tool , 1994 .

[6]  Mario García-Valderas,et al.  Autonomous transient fault emulation on FPGAs for accelerating fault grading , 2005, 11th IEEE International On-Line Testing Symposium.

[7]  Philip Koopman,et al.  Toward Middleware Fault Injection for Automotive Networks , 1998 .

[8]  Massimo Violante,et al.  FPGA-based fault injection for microprocessor systems , 2001, Proceedings 10th Asian Test Symposium.

[9]  Elizabeth M. Rudnick,et al.  A Gate-Level Simulation Environment for Alpha-Particle-Induced Transient Faults , 1996, IEEE Trans. Computers.

[10]  A. Benso,et al.  An integrated HW and SW fault injection environment for real-time systems , 1998, Proceedings 1998 IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (Cat. No.98EX223).

[11]  S. Rezgui,et al.  Predicting error rate for microprocessor-based digital architectures through C.E.U. (Code Emulating Upsets) injection , 2000 .

[12]  Marco Ottavi,et al.  Bit flip injection in processor-based architectures: a case study , 2002, Proceedings of the Eighth IEEE International On-Line Testing Workshop (IOLTW 2002).

[13]  Alfredo Benso,et al.  Fault-list collapsing for fault-injection experiments , 1998, Annual Reliability and Maintainability Symposium. 1998 Proceedings. International Symposium on Product Quality and Integrity.

[14]  Henrique Madeira,et al.  Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers , 1998, IEEE Trans. Software Eng..

[15]  Alfredo Benso,et al.  Fault Injection Techniques and Tools for Embedded Systems , 2003 .

[16]  Luigi Carro,et al.  On the use of VHDL simulation and emulation to derive error rates , 2001, RADECS 2001. 2001 6th European Conference on Radiation and Its Effects on Components and Systems (Cat. No.01TH8605).

[17]  Régis Leveugle,et al.  Reduced Instrumentation and Optimized Fault Injection Control for Dependability Analysis , 2006, 2006 IFIP International Conference on Very Large Scale Integration.

[18]  Riccardo Mariani,et al.  Cost-effective Approach to Error Detection for an Embedded Automotive Platform , 2006 .

[19]  Jean Arlat,et al.  Fault Injection and Dependability Evaluation of Fault-Tolerant Systems , 1993, IEEE Trans. Computers.