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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Svenningsson, R., Vinter, J., Eriksson, H., Törngren, M.: Model-Implemented Fault Injection for Hardware Fault Simulation. In: Proceedings of the Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa 2010), Oslo, Norway, October 3, pp. 31–36 (2010)
The MOGENTES Project, http://www.mogentes.eu
IEC International Electrotechnical Commission, IEC 60218:2006 Analysis Techniques for System Reliability – Procedure for Failure Mode and Effects Analysis (FMEA)
Svenningsson, R., Vinter, J., Eriksson, H., Törngren, M.: MODIFI: A MODel-Implemented Fault Injection Tool. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol. 6351, pp. 210–222. Springer, Heidelberg (2010)
IEC International Electrotechnical Commission, IEC 61025:2006 Fault Tree Analysis (FTA)
IEC TR 62380 – Reliability data handbook, http://www.iec.ch
W3C XML Schema, http://www.w3.org
da Silva, A., et al.: XML schema based fault set definition to improve fault injection tools interoperability. International Journal of Critical Computer-Based Systems 1(1/2/3), 220–237 (2010)
Mathworks, http://www.mathworks.com
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Svenningsson, R., Eriksson, H., Vinter, J., Törngren, M. (2011). Generic Fault Modelling for Fault Injection. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds) Formal Methods for Components and Objects. FMCO 2010. Lecture Notes in Computer Science, vol 6957. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25271-6_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-25271-6_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25270-9
Online ISBN: 978-3-642-25271-6
eBook Packages: Computer ScienceComputer Science (R0)