Fault injection into VHDL models: the MEFISTO tool
Top Cited Papers
- 17 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
This paper focuses on the integration of the fault injection methodology within the design process of fault-toleran t systems. Due to its wide spectrum of application and hierarchical features, VHDL has been selected as the simulation language to support such an integration. Suitable techniques for injecting faults into VHDL models are identified and depicted. Then, the main features of the MEFISTO environment aimed at supporting these techniques are described. Finally, some preliminary results obtained with MEFISTO are presented and analyzed. Index Terms: Experimental Validation, Fault Injection, Simulation, VHDL, Fault/Error Models.Keywords
This publication has 9 references indexed in Scilit:
- Understanding large system failures-a fault injection experimentPublished 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
- A study of the effects of transient fault injection into a 32-bit RISC with built-in watchdogPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Top-down modeling of RISC processors in VHDLPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- VHDL as a modeling-for-testability toolPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Using heavy-ion radiation to validate fault-handling mechanismsIEEE Micro, 1994
- FERRARI: a tool for the validation of system dependability propertiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992
- PIE: a dynamic failure-based techniqueIEEE Transactions on Software Engineering, 1992
- Fault injection for dependability validation: a methodology and some applicationsIEEE Transactions on Software Engineering, 1990