Fault behavior observation of a microprocessor system through a VHDL simulation-based fault injection experiment
- 24 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Evaluating and possibly improving the fault tolerance and error detecting mechanisms is becoming a key issue when designing safety-critical electronic systems. The proposed approach is based on simulation-based fault injection and allows the analysis of the system behavior when faults occur. The paper describes how a microprocessor board employed in an automated light-metro control system has been modeled in VHDL and a Fault Injection Environment has been set up using a commercial simulator. Preliminary results about the effectiveness of the hardware fault-detection mechanisms are also reported. Such results will address the activity of experimental evaluation in subsequent phases of the validation process.Keywords
This publication has 9 references indexed in Scilit:
- Evaluation of error detection schemes using fault injection by heavy-ion radiationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- FIAT-fault injection based automated testing environmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- REACT: a synthesis and evaluation tool for fault-tolerant multiprocessor architecturesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Simulation of software behavior under hardware faultsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Fault injection into VHDL models: the MEFISTO toolPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A fault-list generation algorithm for the evaluation of system coveragePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- FERRARI: a flexible software-based fault and error injection systemIEEE Transactions on Computers, 1995
- NEST: a network simulation and prototyping testbedCommunications of the ACM, 1990
- Fault injection for dependability validation: a methodology and some applicationsIEEE Transactions on Software Engineering, 1990