Fault injection into VHDL models: the MEFISTO tool
Predictably Dependable Computing Systems, 1995•Springer
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 …
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 …
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.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果