Fault injection into VHDL models: Experimental validation of a fault tolerant microcomputer system

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

Volumn 1667 LNCS, Issue , 1999, Pages 191-208

  Gil, D ^a   Martinez R ^b   Busquets, J V ^a   Baraza, J C ^a   Gil, P J ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

^b UNIVERSITY OF VALENCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE; SOFTWARE TESTING;

DETECTION COVERAGE; EXPERIMENTAL VALIDATIONS; FAULT DISTRIBUTION; MICROCOMPUTER SYSTEM; PARITY DETECTIONS; TRANSIENT AND PERMANENT FAULT; TRANSIENT FAULTS; WATCHDOG TIMERS;

MICROCOMPUTERS;

EID: 84881226245     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48254-7_14     Document Type: Conference Paper

References (28)

1. J. Clark., D. Pradhan, "Fault Injection. A method for validating computer-system dependability", IEEE. Computer, June 1995.
2. J. Arlat, A. Costes, Y. Crouzet, J. Laprie, D. Powel. "Fault Injection and Dependability Evaluation of Fault-Tolerant Systems". IEEE Transactions on Computers, Vol 42, no. 8, pp. 913-923. August 1993.
3. K. Goswami, K. Iyer, "DEPEND: A simulation-based environment for system level dependability analysis", Tech. Rep. CRHC-92-11, Center for Reliable and High Performance Computing, University of Illinois (USA) 1991.
4. G. Choi, K. Iyer, "FOCUS: An experimental environment for fault sensitivity analysis", IEEE Transactions on Computers, Vol. 41, pp. 1515-1526, Dec. 1992.
5. P. Folkesson, S. Svensson, J. Karlsson. "A Comparison of simulation-based and scan chain implemented fault injection". 28th International Symposium on Fault Tolerant Computing (FTCS-28), pp. 284-293. Munich, Germany. June 1998.
6. J. Clark, D. Pradhan, "REACT: Reliable Architecture Characterization Tool", Tech. Rep. TR-92-CSE-22, Univ. of Massachusetts, June 1992.
7. Jenn E., Arlat J., Rimen M., Ohlsson J., Karlsson J. "Fault Injection into VHDL Models: The MEFISTO Tool", FTCS-24, IEEE, 1994, pp. 66-75.
8. T. Delong, B. Johnson, Profeta III, "A fault Injection Technique for VHDL Behavioral-Level models", IEEE Design and Test of Computers, Vol 13, no 4, Winter 1996.
9. J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J. C. Fabré, J. C. Laprie, E. Martins, D. Powell, "Fault injection for dependability validation: a methodology and some applications", IEEE Transactions on Software Engineering, Vol.16, pp.166-182, Febrero 1990.
10. U. Gunneflo, "Physical fault injection for Validation of Dependable Computing Systems and a Fault-Tolerant Computer design for Safety-critical missions", PhD thesis, Chalmers Univ. Of Technology, Göteborg (Sweden), 1990.
11. P. Gil, "Sistema Tolerante a Fallos con Procesador de Guardia: Validación mediante Inyección Física de Fallos", D. Ph. Thesis, Departamento de Ingeniería de Sistemas, Computadores y Automática, Univ. Politécnica de Valencia, September 1992.
12. J. Karlsson, P. Folkesson, J. Arlat, Y. Crouzet, G. Leber. "Integration and Comparison of Three Physical Fault Injection Techniques". Predictably Dependable Computer Systems. Chapter V: Fault Injection, pp. 309-329. Springer Verlag, 1995.
13. R. J. Martínez, P. J. Gil, G. Martín, C. Pérez, J.J. Serrano. "Experimental Validation of High-Speed Fault-Tolerant Systems Using Physical Fault Injection", in Seventh Dependable Computing for Critical Applications, DCCA'7. IEEE Computer Society Press. Pending of publication. pp. 233-249, 1999.
14. Z. Segall, et al. "FIAT: Fault-Injection Based Automated Testing Environment", Proc. 18th Symp. on Fault-Tolerant Computing Systems (FTCS-18), Tokyo (Japan), IEEE CS Press, pp. 102-107, June 1988.
15. G. A. Kanawati, N. A. Kanwati, J. A. Abraham: "FERRARI: A Tool for the Validation of System Dependability Properties", Proceedings 22th Symp. on Fault-Tolerant Computing Systems (FTCS-22), Boston, Massachusetts (U.S.A.), pp. 336-344, July, 1992.
16. W. Kao, R. K. Iyer, D. Tang, "FINE: A Fault Injection and Monitor Environment for Tracing the UNIX System Behavior under Faults", IEEE Transactions on Software Engineering, Vol. 19, No. 11, pp. 1105-1118, Nov. 1993.
17. S. Han, H. A. Rosenberg, K. G. Shin, "DOCTOR: An IntegrateD SOftware Fault InjeCTiOn EnviRonment", Technical report, Univ. of Michigan, December 1993.
18. J. C. Fabre, F. Sallés, M. Rodriguez, J. Arlat. "Assesment of COTS microkernel by fault injection". Proceedings Seventh IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA-7), pp. 19-38. San José, EEUU. Enero 1999.
19. IEEE Standard VHDL Language Reference Manual, IEEE Std 1076-1993.
20. th Euromicro Conference. Västeras, Sweden, 1998.
21. D. Gil, J.V. Busquets, J.C. Baraza and P. Gil. "A Fault Injection Tool for VHDL Models". Fastabs of the 28th Fault Tolerant Computing Symposium (FTCS-28). Munich, Germany. 1998.
22. Model Technology, "V-System/Windows User's Manual. Version 4", 1994.
23. Armstrong J.R., Lam F.-S., Ward P.C. "Test generation and Fault Simulation for Behavioral Models". In Performance and Fault Modeling with VHDL. (J.M.Schoen ed.), pp.240-303, Englewood Cliffs, Prentice-Hall, 1992.
24. J. R. Armstrong, "Chip-Level Modeling with VHDL", Prentice Hall, 1989.
25. E. A. Amerasekera, F. N. Najm. "Failure Mechanisms in Semiconductor Devices". John Wiley & Sons. 1997.
26. R. Iyer and D. Rosseti. "A measurement-based model for workload dependence of CPU errors". IEEE Trans. Comput. vol. C-35. pp. 511-519. June 1986. (Pubitemid 16613928)
27. D. P. Siewiorek, "Reliable Computer Systems. Design and Evaluation", Digital Press, 1994.
28. H. Cha, E. M. Rudnick, G. S. Choi, J. H. Patel, R. K. Iyer, "A fast and accurate gate-level transient fault simulation environment". Proceedings 23rd Symp. on Fault-Tolerant Computing Systems (FTCS-23), Toulouse (France), pp. 310-319, June, 1993.