Fault tolerant design validation through laser fault injection [space-based computing systems]

Space based real time applications for high end computing systems require that the system not only be extremely reliable but also tolerant to a hierarchy of adverse events generally referred to as faults. At the Center for Microelectronics Research (CMR) of the University of South Florida (USF), laser soft fault injection for fault tolerant design validation research has been carried out. The technique is based on using a thoroughly controlled laser beam into a Very Large Scale Integrated Circuit (VLSIC) which is a component of an operating computer capable of detecting, logging, and correcting a transient fault and then proceeding with its operation. The test vehicle is a 32-bit processor designed for 100% microcircuit fault coverage in addition to concurrent error detection, reporting, logging, and recovery. Of primary interest is the recovery from transient Single Event Upsets (SEU's) caused by high energy particles. The technique has been demonstrated with two different system level series of tests. The first test routine involved the verification of an initial set up and demo test performed at CMR on an early version of the computer which was designed just to verify that the computer detected and logged a hardware error in the register file of the Central Processing Unit (CPU). A second series of test were designed to observe the incrementing of the error count register and the correlation to the number of laser pulses applied. The complete test setup and test validation strategies including samples of test result are presented.

[1]  A. H. Johnston,et al.  Laser simulation of single-particle effects , 1992 .

[2]  Rajiv Gupta.  /spl Phi/-test: Perfect hashed index test for test response validation , 1993, Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93.

[3]  A. Johnston.  Charge generation and collection in p-n junctions excited with pulsed infrared lasers , 1993 .

[4]  A. B. Campbell,et al.  Implications of the spatial dependence of the single-event-upset threshold in SRAMs measured with a pulsed laser , 1994 .

[5]  A. B. Campbell,et al.  Pulsed laser-induced SEU in integrated circuits: a practical method for hardness assurance testing , 1990 .

[6]  Farnam Jahanian,et al.  Testing of fault-tolerant and real-time distributed systems via protocol fault injection , 1996, Proceedings of Annual Symposium on Fault Tolerant Computing.

[7]  W. D. Raburn,et al.  Laser Simulation of Single Event Upsets , 1987, IEEE Transactions on Nuclear Science.

[8]  I. Arimura,et al.  Simulation of Heavy Charged Particle Tracks Using Focused Laser Beams , 1987, IEEE Transactions on Nuclear Science.

[9]  S. J. Geoghegan,et al.  Design, verification, and validation of self-checking software components , 1996, Conference Proceedings of the 1996 IEEE Fifteenth Annual International Phoenix Conference on Computers and Communications.

[10]  Joseph Sifakis,et al.  Formal methods for the validation of fault tolerance in autonomous spacecraft , 1996, Proceedings of Annual Symposium on Fault Tolerant Computing.

[11]  S. Buchner,et al.  Critical evaluation of the pulsed laser method for single event effects testing and fundamental studies , 1994 .

[12]  A. B. Campbell,et al.  Modification of single event upset cross section of an SRAM at high frequencies , 1995 .

[13]  C. A. Gossett,et al.  The Boeing 777 Fault Tolerant Air Data and Inertial Reference System-a new venture in working together , 1995, Proceedings of 14th Digital Avionics Systems Conference.

[14]  J. R. Samson.  Optimizing reliability in a two-level distributed architecture for wafer scale integration , 1994, Proceedings of 1994 International Conference on Wafer Scale Integration (ICWSI).

[15]  Balázs Benyó,et al.  FAULT INJECTION BASED DEPENDABILITY ANALYSIS , 1993 .

[16]  A. B. Campbell,et al.  Charge collection from focussed picosecond laser pulses , 1988 .