Fault injection into VHDL models: the MEFISTO tool
Jenn, E.
Arlat, J.
Rimen, M.
Ohlsson, J.
Karlsson, J.
Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse ;
This paper appears in: Fault-Tolerant Computing, 1994. FTCS-24. Digest of Papers., Twenty-Fourth International Symposium on
Publication Date: 15-17 Jun 1994
On page(s): 66-75
Meeting Date: 06/15/1994 - 06/17/1994
Location: Austin, TX, USA
ISBN: 0-8186-5520-8
References Cited: 20
INSPEC Accession Number: 4744873
Digital Object Identifier: 10.1109/FTCS.1994.315656
Current Version Published: 2002-08-06
Abstract
This paper focuses on the integration of the fault injection
methodology within the design process of fault-tolerant 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
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
