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

fYear

1994

fDate

15-17 June 1994

Firstpage

66

Lastpage

75

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/FTCS.1994.315656

Filename

315656