Fault injection into VHDL models: analysis of the error syndrome of a microcomputer system

This publication has 10 references indexed in Scilit:

• FIAT-fault injection based automated testing environment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A fast and accurate gate-level transient fault simulation environment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A fault injection technique for VHDL behavioral-level models
  IEEE Design & Test of Computers, 1996
• Fault injection: a method for validating computer-system dependability
  Computer, 1995
• FINE: A fault injection and monitoring environment for tracing the UNIX system behavior under faults
  IEEE Transactions on Software Engineering, 1993
• FERRARI: a tool for the validation of system dependability properties
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• FOCUS: an experimental environment for fault sensitivity analysis
  IEEE Transactions on Computers, 1992
• Fault injection for dependability validation: a methodology and some applications
  IEEE Transactions on Software Engineering, 1990
• Processor Control Flow Monitoring Using Signatured Instruction Streams
  IEEE Transactions on Computers, 1987
• Watchdog Processors and Structural Integrity Checking
  IEEE Transactions on Computers, 1982