RIFLE: A general purpose pin-level fault injector

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 852 LNCS, Issue , 1994, Pages 199-216

  Madeira, Henrique ^a   Rela, Mário ^a   Moreira, Francisco ^a   Silva, João Gabriel ^a  

^a UNIVERSITY OF COIMBRA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ERROR DETECTION; GUNS (ARMAMENT); SOFTWARE TESTING;

ERROR-DETECTION MECHANISM; FAULT INJECTION; FAULT INJECTOR; FEEDBACK CIRCUITS; SIMPLE BEHAVIORS; TARGET SYSTEMS; TRADITIONAL COMPUTERS;

FAULT DETECTION;

EID: 84859516565     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-58426-9_132     Document Type: Conference Paper

References (21)

1. J. Arlat et. al., “Fault injection for dependability validation: a methodology and some applications”, IEEE Trans. on Software Eng., Vol 16, No 2, Feb. 1990, pp. 166-182.
2. W. Carter and J. Abraham, “Design and evaluation tools for faulttolerant systems”, Proc. AIAA Computers in Aerospace Conference, 1987, pp. 70-77.
3. U. Gunneflo, J. Karlsson, and J. Torin, “Evaluation of error detection schemes using fault injection by heavy-ion radiation”, Fault Tol. Comp. Syrup., FTCS-19, June 1989, p.340-347.
4. R. Iyer and D. Rossetti, “A measurement-based model for workload dependance of CPU errors”, IEEE Transactions on Computers, vol. C-35, pp. 511-519, June 1986.
5. E. Czeck and D. Siewiorek, “Effects of transient gate-level faults on program behavior”, Fault Tolerant Comp. Syrup., FTCS-20, Newcastle Upon Tyne, June 1990, p. 236-243.
6. M. Schmid, et. al., “Upset Exposure by Means of Abstraction Verification”, Proc. 12th Symp. on Fault-Tolerant Comp., FTCS-12, St. Monica, June 22-24, 1982, p.237-244.
7. Y. Crouzet and B. Decouty, “Measurements of fault detection mechanisms efficiency: results”, Proc. of FTCS-12, Santa Monica, Ca., June 1982, pp. 373-376.
8. J. Lala, “Fault detection isolation and reconfiguration in FTMP: methods and experimental results”, 5th AIAA/IEEE Digital Avionics Systems Conf., 1983, pp. 21.3.1-21.3.9.
9. M.A. Schuette and J. P. Shen, “Processor Control Flow Monitoring Using Signatured Instruction Streams”, IEEE Trans. on Computers, vol. 36, No. 3, March 1987, p. 264-275.
10. A. Damm, “Experimental evaluation of error-detection and self-checking coverage of componentes of a distributed real-thne system”, Ph.D. thesis, Univ. of Vienne, Oct. 1988.
11. H. Madeira, G. Quachos, and J. Silva, “Experimental eval. of a set of simple error detection mechanisms”, The EUROMICRO Journal, vol 30, Aug. 1990, North-Holland, pp 513-520.
12. J. Cusick, et al., “SEU vulnerability of the Zilog Z-80 and NSC-800 microprocessors”, IEEE Tran. on Nuclear Science, Vol. NS-32, NO. 6, Dec. 1986, p. 4206-4211.
13. M. Cortes and E. McCluskey, “Properties of transient errors due to power supply disturbances”, Proc. Int.Symp. on Circuits and Systems, IEEE, pp. 1064-1049, May 1986.
14. D. Lomelino and R. Iyer, “Error propagation in a digital avionic processor: a simulationbased study”, Proc. Real Time Systems Symposium, Dec. 1986, p. 218-225.
15. D. P. Siewiorek and Robert S. Swarz, The Theory and Practice of Reliable Design, Digital Press, Educational Services, Digital Equip. Corporation, 1984, Bedford, Massachusetts.
16. P. Duba and R. Iyer, “Transient fault behavior in a microprocessor: a case study”, Proceedings of ICCD, October 1988, p. 272-276.
17. G. Choi, R. Iyer, et al. “A fault behavior model for an avionic microprocessor: a case study”, Dependable Computing for Critical Applications, Springer-Verlag, Avizienis & Laprie (eds), 1990, pp. 177-195.
18. J. Karlsson, U. Gunneflo, P Lidén e J. Torin, “Two Fault Injection Techniques for Test of Fault Handling Mechanisms”, Proc. of International Test Conference, 1991, p. 140-149.
19. H. Madeira and J. Silva, “On-line Signature Learning and Checking”, Dependable Comp. for Critical Applications, Spriger-Verlag, Meyer & Schlichting (eds.), 1992, pp. 394-420.
20. D. Powell et al, “The Delta-4 approach to dependability in open distributed computing systems”, Inter. Syrup. on Fault-Tolerant Computing, FTCS-18, Tokyo-Japan, June 1988.
21. H. Madeira and J. G. Silva, “Experimental Evaluation of the Fail-silent Behavior in Computers without Enor Masking”, to appear at FTCS-24, June, 1994.