Generic fault modelling for fault injection
2011 (English)Conference paper (Refereed)
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 7 th 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.
Place, publisher, year, edition, pages
2011. 287-296 p.
, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 03029743 ; 6957
Fault injection, Fault Injection techniques, Storage formats, Validation methods
Engineering and Technology
IdentifiersURN: urn:nbn:se:kth:diva-50354DOI: 10.1007/978-3-642-25271-6_15ScopusID: 2-s2.0-84255198128ISBN: 978-364225270-9OAI: oai:DiVA.org:kth-50354DiVA: diva2:461615
9th International Symposium on Formal Methods for Components and Objects, FMCO 2010; Graz; Austria; 29 November-1 December 2010
QC 201409152011-12-052011-12-052014-09-15Bibliographically approved