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.
This paper is a revised version of [28].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 ECSC — EC — EAEC, Brussels — Luxembourg
About this paper
Cite this paper
Jenn, E., Arlat, J., Rimén, M., Ohlsson, J., Karlsson, J. (1995). Fault Injection into VHDL Models: The MEFISTO Tool. In: Randell, B., Laprie, JC., Kopetz, H., Littlewood, B. (eds) Predictably Dependable Computing Systems. ESPRIT Basic Research Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-79789-7_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-79789-7_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-79791-0
Online ISBN: 978-3-642-79789-7
eBook Packages: Springer Book Archive