Improvement of fault injection techniques based on VHDL code modification

Fault injection techniques based on the use of VHDL as design language offer important advantages with regard to other fault injection techniques. First, as they can be applied during the design phase of the system, they allow reducing the time-to-market. Second, this type of techniques presents high controllability and reachability. Among the different techniques, those based on the use of saboteurs and mutants are especially attractive due to their high capability of fault modeling. However, it is difficult to implement automatically these techniques in a fault injection tool, mainly the insertion of saboteurs and the generation of mutants. In this paper, we present new models of saboteurs and mutants that can be easily applicable in VFIT, a fault injection tool developed by the Fault-Tolerant Systems Research Group (GSTF) of the Technical University of Valencia.

[1]  Pedro J. Gil,et al.  A study of the effects of transient fault injection into the VHDL model of a fault-tolerant microcomputer system , 2000, Proceedings 6th IEEE International On-Line Testing Workshop (Cat. No.PR00646).

[2]  Eric Jenn.  Sur la validation des systèmes tolérant les fautes : injection de fautes dans des modèles de simulation VHDL , 1994 .

[3]  Alfredo Benso,et al.  Fault behavior observation of a microprocessor system through a VHDL simulation-based fault injection experiment , 1996, Proceedings EURO-DAC '96. European Design Automation Conference with EURO-VHDL '96 and Exhibition.

[4]  J. Gracia.  Using VHDL-Based Fault Injection for the Early Diagnosis of a TTP/C Controller , 2003 .

[5]  Pedro J. Gil,et al.  Impact of Faults in Combinational Logic of Commercial Microcontrollers , 2005, EDCC.

[6]  Pedro J. Gil,et al.  A prototype of a VHDL-based fault injection tool: description and application , 2002, J. Syst. Archit..

[7]  Barry W. Johnson,et al.  A Fault Injection Technique for VHDL Behavioral-Level Models , 1996, IEEE Des. Test Comput..

[8]  Yves Crouzet,et al.  MEFISTO-L: a VHDL-based fault injection tool for the experimental assessment of fault tolerance , 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).

[9]  Joaquin Gracia,et al.  VHDL Simulation-Based Fault Injection Techniques , 2003 .

[10]  Jean Arlat,et al.  Fault Injection for Dependability Validation: A Methodology and Some Applications , 1990, IEEE Trans. Software Eng..

[11]  Sumit Ghosh,et al.  On behavior fault modeling for digital designs , 1991, J. Electron. Test..

[12]  Volkmar Sieh,et al.  VERIFY: evaluation of reliability using VHDL-models with embedded fault descriptions , 1997, Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing.

[13]  Pedro J. Gil,et al.  Study, comparison and application of different VHDL-based fault injection techniques for the experimental validation of a fault-tolerant system , 2003, Microelectron. J..

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