Generic fault modelling for fault injection

Authors:
Rickard Svenningsson;Henrik Eriksson;Jonny Vinter;Martin Törngren
Affiliations:
Department of Electronics, SP Technical Research Institute of Sweden, Sweden;Department of Electronics, SP Technical Research Institute of Sweden, Sweden;Department of Electronics, SP Technical Research Institute of Sweden, Sweden;Department of Mechatronics, KTH Royal Institute of Technology, Sweden
Venue:
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Year:
2010

Citing 3
Cited 0

XML schema based fault set definition to improve fault injection tools interoperability

International Journal of Critical Computer-Based Systems
MODIFI: a MODel-implemented fault injection tool

SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
Model-Implemented Fault Injection for Hardware Fault Simulation

MODEVVA '10 Proceedings of the 2010 Workshop on Model-Driven Engineering, Verification, and Validation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Fault injection is a widely used experimental dependability validation method, with a vast amount of techniques and tools. Within the scope of MOGENTES, an EU 7th framework programme project, tools have been developed which implements three different fault injection techniques; hardware-implemented fault injection, software-implemented fault injection and model-implemented fault injection. To support fault injection under the same conditions with these tools, an unambiguous description format for failure modes has been developed. Within MOGENTES, over 30 different failure modes have been identified, which all are implementable using the proposed format. XML has been chosen as the storage format for the failure modes, following a schema that is described in this paper.