Title :
Fault injection into VHDL models: the MEFISTO tool
Author :
Jenn, E. ; Arlat, J. ; Rimen, M. ; Ohlsson, J. ; Karlsson, J.
Author_Institution :
Lab. d´Autom. et d´Anal. des Syst., CNRS, Toulouse, France
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.<>
Keywords :
computer testing; fault tolerant computing; formal verification; software tools; specification languages; MEFISTO tool; VHDL; fault injection methodology; fault-tolerant systems; simulation language; Analytical models; Computational modeling; Contracts; Costs; Fault tolerant systems; Genetic mutations; Hardware; Laboratories; Predictive models; Process design;
Conference_Titel :
Fault-Tolerant Computing, 1994. FTCS-24. Digest of Papers., Twenty-Fourth International Symposium on
Conference_Location :
Austin, TX, USA
Print_ISBN :
0-8186-5520-8
DOI :
10.1109/FTCS.1994.315656
