FIES: A Fault Injection Framework for the Evaluation of Self-Tests for COTS-Based Safety-Critical Systems

Höller, Andrea; Schonfelder, Gerhard; Kajtazovic, Nermin; Rauter, Tobias; Kreiner, Christian

doi:10.1109/mtv.2014.27

Cited by 15 publications

(8 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Höller et. al presented a Fault Injection framework, FIES, for the evaluation of software-based self-tests (SBSTs) [54] according to the safety standard IEC 61508 [67]. This framework is compatible with commonly used embedded commercial off-the-shelf (COTS) processors and offers analytical feedback about the diagnostic coverage of self-tests at the early design phases.…”

Section: D-cloud/faultvmmentioning

confidence: 99%

“…The work also shows the procedure for integrating the framework into various software development stages. The framework extends the FI tool presented in [54] which is also based on QEMU. It supports advanced memory and processor fault models that emulate real-world fault occurrence scenarios.…”

Section: D-cloud/faultvmmentioning

confidence: 99%

“…• CPU -Here the CPU components which include functional units [44], logic units [45], instruction decoders [54], and related components are tested [45], [55].…”

Section: A Components Tested For Reliabilitymentioning

confidence: 99%

“…• Memory -The memory cells such as RAM and related parts are tested [44], [45], [46], [47], [50], [51], [54], [55], [63]. • Registers -General purpose and special purpose registers are tested in [44], [45], [48], [49], [50], [51], [53], [54], [58], and [66].…”

Section: A Components Tested For Reliabilitymentioning

confidence: 99%

See 3 more Smart Citations

A Survey of QEMU-Based Fault Injection Tools & Techniques for Emulating Physical Faults

2023

View full text Add to dashboard Cite

Fault Injection (FI) is a method used to quantify the reliability and resilience of a system by assessing the system's ability to detect, locate, and/or mitigate fault occurrences. At the architecture level, targeted bit flips at specific times and locations can help quantify the response of a running application to unwanted changes in state and memory values. FI campaigns of this type can be performed on the target hardware virtual implementations of the target device. In this paper, we present a survey of Quick EMUlator (QEMU) based FI techniques. After discussing the various techniques proposed by academia and industry, we classified them into categories and compare their attributes. This review will help researchers understand the capabilities and limitations of using the QEMU emulator for FI-based system reliability analysis. Additionally, we identify the gaps in existing techniques and propose opportunities for extensions.

show abstract

Section: D-cloud/faultvmmentioning

confidence: 99%

Section: D-cloud/faultvmmentioning

confidence: 99%

“…• CPU -Here the CPU components which include functional units [44], logic units [45], instruction decoders [54], and related components are tested [45], [55].…”

Section: A Components Tested For Reliabilitymentioning

confidence: 99%

Section: A Components Tested For Reliabilitymentioning

confidence: 99%

See 2 more Smart Citations

A Survey of QEMU-Based Fault Injection Tools & Techniques for Emulating Physical Faults

2023

View full text Add to dashboard Cite

show abstract

“…In [2], a new technique of runtime verification for Canlong Ma and Julien Provost are with Assistant Professorship for Safe Embedded Systems, Faculty of Mechanical Engineering, Technische Universität München, Garching bei München, Germany ma@ses.mw.tum.de; provost@ses.mw.tum.de both software and hardware levels for ultra-critical systems is proposed. In [3], a fault injection framework for the evaluation of software-based self-tests for safety-critical systems according to the safety standard IEC 61508 is presented. However, this method needs a comprehensive fault library, which requires expert knowledge and is not always easy to be obtained in industrial practice.…”

Section: Introductionmentioning

confidence: 99%

Design-to-test approach for black-box testing of programmable controllers

Provost

2015

2015 IEEE International Conference on Automation Science and Engineering (CASE)

View full text Add to dashboard Cite

This paper focuses on a global consideration of design and testing phases of a safety-critical automation system with programmable controllers. A design-to-test approach is proposed to improve the testability of programmable controllers and reduce overhead during the testing phase, under the premise that the nominal behavior of a system is guaranteed to remain unchanged during normal execution. This approach is elaborated and illustrated on a medium scale case study throughout the paper, and then applied to a larger case study in order to illustrate its scalability.

show abstract