ETRI Journal · 2011 · 10 citations · 11 references
ComputingComputer EngineeringComputer ScienceFault ToleranceFault-tolerant ComputingFault-tolerant SystemsFault InjectionFault ModelingFault Tolerance DesignHardware Fault ToleranceReliable System DesignFault Injection ExperimentationFault Injection MethodologyFault Injection ModelingFault Injection SimulationFault Injection ToolsFault SimulationFault Tolerance MechanismsSoft Errors
In the current very deep submicron technology era, fault tolerant mechanisms perform an essential function to cope with the effects of soft errors. To evaluate the effectiveness of the fault tolerant mechanism, reliability engineers use simulated fault injections using either saboteur modules or mutants in the simulation model. However, the two methods suffer from both inefficiency in the simulation mechanism and difficulties with the experimental setups. To overcome these inefficiencies, we propose the Verilog-based simulated fault injection (VFI) technique. VFI has the following advantages. First, modification of the design model is unnecessary. Second, the fault injection simulation procedure is simple and efficient. Third, various types of fault injection experiments can be performed. To evaluate the effectiveness of the proposed methodology, we developed a VFI environment using the ICARUS Verilog Simulator. From the experimental results, we were able to qualitatively evaluate the reliability of the target simulation models and to assess the effectiveness of the employed fault-tolerance mechanisms.
11
MiBench: A free, commercially representative embedded benchmark suite
Matthew R. Guthaus, Jeffrey Ringenberg, Daniel Ernst et al. · 2001 · 3.1K citations
Fault injection techniques and tools
Mei-Chen Hsueh, Timothy Tsai, Ravishankar K. Iyer · Computer · 1997 · 869 citations · Full text
IBM's S/390 G5 microprocessor design
T. J. Slegel, R. M. Averill, M. A. Check et al. · IEEE Micro · 1999 · 349 citations
A 1.3-GHz fifth-generation SPARC64 microprocessor
Hideki Ando, Yoshitoku Yoshida, Akira Inoue et al. · IEEE Journal of Solid-State Circuits · 2003 · 109 citations
Engineering, Computer Engineering, Electrical Engineering +16