Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

Proving critical computer systems

The verification and evaluation of fault handling mechanisms is a very important step in the validation of fault tolerant systems. A simulation environment specifically developed for fault injection testing allows the validation of such systems as early as possible in the design process. Known as MEFISTO (multilevel error/fault injection simulation tool), the system allows for the injection of faults into system simulation models implemented in VHDL (very high speed IC hardware description language), a simulation language widely used in designing and developing digital systems.

The growing use of VHDL as a development environment means that MEFISTO avoids the need for specific simulation models for validation of fault handling mechanisms, reducing both the cost of validation and the time to market. In contrast to techniques that inject faults into system prototypes, such as pin level or software implemented fault injection, simulation based fault injection allows for the detection of design flaws early in the design process and thus reduces the cost of design correction. In addition, designers get valuable feedback which allows them to find cost effective solutions.

Reported by

Chalmers University of Technology
41296 Gothenburg