Change search
ReferencesLink to record
Permanent link

Direct link
Model-implemented fault injection for hardware fault simulation
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
2011 (English)In: Proceedings - 2010 Workshop on Model-Driven Engineering, Verification, and Validation, MoDeVVa 2010, Oslo, 2011, 31-36 p.Conference paper (Refereed)
Abstract [en]

This paper presents how model-implemented fault injection can be utilized to simulate the effect of hardwarerelated faults in embedded systems. A fault injection environment has been developed to enable comparison of experiments at model level and hardware level using Simulink and an Infineon microcontroller, respectively. Experiments at model level, leading to safety requirement violations, are automatically repeated at hardware level to compare the fault effects. Artifacts in a Simulink model (e.g. block output ports) are automatically mapped to memory addresses obtained from a linker generated map file. Thus, the same variable can be manipulated by the fault injection environment at both model and hardware level. For the automotive application evaluated, experiments show that the effects of data errors at model level and hardware level are similar excluding the experiments leading to exceptions. © 2010 IEEE.

Place, publisher, year, edition, pages
Oslo, 2011. 31-36 p.
Keyword [en]
Fault injection, Model based testing, Test case generation, Automotive applications, Data errors, Fault effect, Hardware faults, Infineons, Memory address, Output ports, Safety requirements, Simulink, Simulink models, Embedded systems, Experiments, Hardware, Computer simulation
National Category
Engineering and Technology
URN: urn:nbn:se:kth:diva-50352DOI: 10.1109/MoDeVVa.2010.11ScopusID: 2-s2.0-79960241252ISBN: 9780769543840OAI: diva2:461612
QC 20111205Available from: 2011-12-05 Created: 2011-12-05 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

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: 106 hits
ReferencesLink to record
Permanent link

Direct link