Change search
ReferencesLink to record
Permanent link

Direct link
Towards fault injection based minimal cut sets generation
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.ORCID iD: 0000-0002-4300-885X
2010 (English)In: Informationstagung Mikroelektronik ME10, 2010Conference paper (Refereed)
Place, publisher, year, edition, pages
National Category
Engineering and Technology
URN: urn:nbn:se:kth:diva-50170OAI: diva2:461186
QC 20111202Available from: 2011-12-02 Created: 2011-12-02 Last updated: 2011-12-05Bibliographically 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

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

Total: 115 hits
ReferencesLink to record
Permanent link

Direct link