Change search
ReferencesLink to record
Permanent link

Direct link
Generic fault modelling for fault injection
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.ORCID iD: 0000-0002-4300-885X
2011 (English)Conference paper (Refereed)
Abstract [en]

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
Keyword [en]
Fault injection, Fault Injection techniques, Storage formats, Validation methods
National Category
Engineering and Technology
URN: urn:nbn:se:kth:diva-50354DOI: 10.1007/978-3-642-25271-6_15ScopusID: 2-s2.0-84255198128ISBN: 978-364225270-9OAI: diva2:461615
9th International Symposium on Formal Methods for Components and Objects, FMCO 2010; Graz; Austria; 29 November-1 December 2010

QC 20140915

Available from: 2011-12-05 Created: 2011-12-05 Last updated: 2014-09-15Bibliographically approved
In thesis
1. Model-Implemented Fault Injection for Robustness Assessment
Open this publication in new window or tab >>Model-Implemented Fault Injection for Robustness Assessment
2011 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

The complexity of safety-related embedded computer systems is steadilyincreasing. Besides verifying that such systems implement the correct functionality, it is essential to verify that they also present an acceptable level of robustness. Robustness is in this thesis defined as the resilience of hardware, software or systems against errors that occur during runtime.

One way of performing robustness assessment is to carry out fault injection, also known as fault insertion testing from certain safety standards. The idea behind fault injection is to accelerate the occurrence of faults in the system to evaluate its behavior under the influence of anticipated faults, and to evaluate error handling mechanisms.

Model-based development is becoming more and more common for the development of safety-related software. Thus, in this thesis we investigate how we can benefit from conducting fault injection experiments on behavior models of software. This is defined as model-implemented fault injection in this thesis, since additional model artifacts are added to support the injection of faults that are activated during simulation. In particular, this thesis addresses injection of hardware fault effects (e.g. bit-level errors in microcontrollers) into Simulink® models.

To evaluate the method, a fault injection tool has been developed (called MODIFI), that is able to perform fault injection into Simulink behavior models. MODIFI imports tailored fault libraries that define the effects of faults according to an XML-schema. The fault libraries are converted into executable model blocks that are added to behavior models and activated during runtime to emulate the effect of faults. Further, we use a method called minimal cut sets generation to increase the usefulness of the tool.

During the work within MOGENTES, an EU 7th framework programme project that focused on model-based generation of test cases for dependable embedded systems, fault injection experiments have been performed on safety related models with the MODIFI tool. Experiments were also performed using traditional fault injection methods, and in particular hardware-implemented fault injection, to evaluate the correlation between the methods.

The results reveal that fault injection on software models is efficient and useful for robustness assessment and that results produced with MODIFI appear to be representative for the results obtained with other fault injection methods. However, a software model suppresses implementation details, thus leading to fewer locations where faults can be injected. Therefore it cannot entirely replace traditional fault injection methods, but by performing model-implemented fault injection in early design phases an overview of the robustness of a model can be obtained, given these limitations. It can also be useful for testing of error handling mechanisms that are implemented in the behavior model.

Place, publisher, year, edition, pages
Stockholm: KTH Royal Institute of Technology, 2011. xi, 39 p.
Trita-MMK, ISSN 1400-1179 ; 2011:16
Fault Injection, Model-Implemented Fault Injection, Robustness, Assessment, ISO 26262, ISO 61508, Software
National Category
Embedded Systems
urn:nbn:se:kth:diva-49887 (URN)978-91-7501-173-8 (ISBN)
2011-12-09, B319, KTH, Brinellvägen 83, Stockholm, 14:45 (English)
QC 20111205Available from: 2011-12-05 Created: 2011-11-30 Last updated: 2011-12-05Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Svenningsson, RickardTörngren, Martin
By organisation
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 78 hits
ReferencesLink to record
Permanent link

Direct link