Fault injection for dependability validation: A methodology and some applications
J Arlat, M Aguera, L Amat, Y Crouzet… - IEEE Transactions …, 1990 - ieeexplore.ieee.org
The authors address the problem of validating the dependability of fault-tolerant computing
systems, in particular, the validation of the fault-tolerance mechanisms. The proposed …
systems, in particular, the validation of the fault-tolerance mechanisms. The proposed …
Fault injection and dependability evaluation of fault-tolerant systems
J Arlat, A Costes, Y Crouzet, JC Laprie… - IEEE Transactions on …, 1993 - ieeexplore.ieee.org
The authors describe a dependability evaluation method based on fault injection that
establishes the link between the experimental evaluation of the fault tolerance process and …
establishes the link between the experimental evaluation of the fault tolerance process and …
RIFLE: A general purpose pin-level fault injector
This paper discusses the problems of pin-level fault injection for dependability validation
and presents the architecture of a pin-level fault injector called RIFLE. This system can be …
and presents the architecture of a pin-level fault injector called RIFLE. This system can be …
A logic-level model for/spl alpha/-particle hits in CMOS circuits
H Cha, JH Patel - … of 1993 IEEE International Conference on …, 1993 - ieeexplore.ieee.org
Systems designed for reliability must be validated through simulations. However, traditional
SPICE like simulators or even mixed-mode simulators are too slow for the task of simulating …
SPICE like simulators or even mixed-mode simulators are too slow for the task of simulating …
A gate-level simulation environment for alpha-particle-induced transient faults
H Cha, EM Rudnick, JH Patel, RK Iyer… - IEEE Transactions on …, 1996 - ieeexplore.ieee.org
Mixed analog and digital mode simulators have been available for accurate/spl alpha/-
particle-induced transient fault simulation. However, they are not fast enough to simulate a …
particle-induced transient fault simulation. However, they are not fast enough to simulate a …
Fault injection for formal testing of fault tolerance
D Avresky, J Arlat, JC Laprie… - IEEE Transactions on …, 2002 - ieeexplore.ieee.org
This study addresses the use of fault injection for explicitly removing design/implementation
faults in complex fault-tolerance algorithms and mechanisms (FTAM), viz, fault-tolerance …
faults in complex fault-tolerance algorithms and mechanisms (FTAM), viz, fault-tolerance …
FOCUS: An experimental environment for fault sensitivity analysis
GS Choi, RK Iyer - IEEE Transactions on Computers, 1992 - computer.org
FOCUS, a simulation environment for conducting fault-sensitivity analysis of chip-level
designs, is described. The environment can be used to evaluate alternative design tactics at …
designs, is described. The environment can be used to evaluate alternative design tactics at …
Trading off transient fault tolerance and power consumption in deep submicron (DSM) VLSI circuits
A Maheshwari, W Burleson… - IEEE transactions on very …, 2004 - ieeexplore.ieee.org
High fault tolerance for transient faults and low-power consumption are key objectives in the
design of critical embedded systems. Systems like smart cards, PDAs, wearable computers …
design of critical embedded systems. Systems like smart cards, PDAs, wearable computers …
Simulation and analysis of transient faults in digital circuits
FL Yang, RA Saleh - IEEE Journal of Solid-State Circuits, 1992 - ieeexplore.ieee.org
To study the effect of transient faults in large digital circuits, a simulation tool called
DYNAMO has been developed. It allows transient faults to be introduced in a circuit during a …
DYNAMO has been developed. It allows transient faults to be introduced in a circuit during a …
Effects of transient gate-level faults on program behavior
EW Czeck, DP Siewiorek - Digest of Papers. Fault-Tolerant Computing …, 1990 - computer.org
Abstract Effects of gate-level faults on program behavior are described and used as a basis
for fault models at the program level. A simulation model of the IBM RT PC was developed …
for fault models at the program level. A simulation model of the IBM RT PC was developed …