A prototype of a VHDL-based fault injection tool: description and application
Journal of Systems Architecture: the EUROMICRO Journal - Defect and fault tolerance in VLSI Systems
Laerte++: an object oriented high-level TPG for systemC designs
Languages for system specification
Genetic algorithms: the philosopher's stone or an effective solution for high-level TPG?
HLDVT '03 Proceedings of the Eighth IEEE International Workshop on High-Level Design Validation and Test Workshop
Hi-index | 0.03 |
This paper presents the prototype of an automatic and model-independent fault injection tool, to use on an IBM-PC (or compatible) platform. The tool has been built around a commercial VHDL simulator. With this tool, both transient and permanent faults, of a wide range of types, can be injected into medium-complexity models. Another remarkable aspect of the tool is the fact that it is able to analyse the results obtained from the injection campaigns, in order to study the Error Syndrome of the system model and/or validate its Fault-Tolerance Mechanisms. Some results of a fault injection campaign carried out to validate the Dependability of a fault tolerant microcomputer system are shown. We have analyzed the pathology of the propagated errors, measured their latencies, and calculated both error detection and recovery latencies and coverages.