MEFISTO-L: a VHDL-based fault injection tool for the experimental assessment of fault tolerance
MEFISTO-L: a VHDL-based fault injection tool for the experimental assessment of fault tolerance
复制标题
MEFISTO-L：基于 VHDL 的故障注入工具，用于容错实验评估
DOI：
10.1109/ftcs.1998.689467
复制
发表时间：
1998
期刊：
影响因子：
--
通讯作者：
Y. Crouzet
中科院分区：
文献类型：
--
作者：
Jérome Boué;Philippe Pétillon;Y. Crouzet
容错机制（FTM）的充分性的早期评估，以及随后的容错缺陷故障（FTD故障）的去除，是可靠的计算机系统的设计过程中的基本任务。本文集中在MEFISTO-L，故障注入工具的VHDL模型，正在开发的LAAS支持的战略，我们提出了测试FTM的功能的描述和应用。本文首先介绍了MEFISTO-L的整体测试框架。然后介绍了设计MEFISTO-L的主要指导方针及其目标、属性、实施和使用。特别注意的是主要的原始和创新功能：i）嵌入式VHDL代码分析器，ii）观察和注入机制，iii）它们的同步，以及iv）它们在目标VHDL模型中的自动放置。
The early assessment of the adequacy of fault tolerance mechanisms (FTMs), and the subsequent removal of fault tolerance deficiency faults (ftd-faults), are essential tasks in the design process of dependable computer systems. The paper is centered on the description and application of the features of MEFISTO-L, the fault injection tool for VHDL models, being developed at LAAS for supporting the strategy that we have proposed for testing FTMs. The paper first describes the overall testing framework in which MEFISTO-L is incorporated. The main guidelines for the design of MEFISTO-L and its objectives, attributes, implementation and use are then described. Special attention is given to the main original and innovative features: i) the embedded VHDL code analyzer, ii) the observation and injection mechanisms, iii) their synchronization, and iv) their automatic placement in the target VHDL model.