A survey on simulation-based fault injection tools for complex systems

Kooli, Maha; Natale, Giorgio Di

doi:10.1109/dtis.2014.6850649

Cited by 71 publications

(41 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Fault injection [10] is a powerful and useful technique to evaluate the reliability of the systems under faults. It is based on the realization of controlled experiments in order to evaluate the behavior of the systems in the presence of artificial faults.…”

Section: Hardware Reliabilitymentioning

confidence: 99%

“…• The software components with respect to software faults • The hardware components with respect to hardware faults • The software components with respect to hardware faults Many methods and techniques have been proposed in the literature targeting software faults (Software testing e.g., Mutation Testing [7], Control Flow Testing [8], Data Flow Testing [9]) and the hardware faults (e.g., Fault Injection [10] ! by analyzing the overall system from a high level perspective.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Software testing and software fault injection

Kooli

Bosio

Benoit

et al. 2015

2015 10th International Conference on Design &Amp; Technology of Integrated Systems in Nanoscale Era (DTIS)

Self Cite

View full text Add to dashboard Cite

1 -Reliability is one of the most important characteristics of the system quality. It is defined as the probability of failure-free operation of system for a specified period of time in a specified environment. For micro-processor based systems, reliability includes both software and hardware reliability. Many methods and techniques have been proposed in the literature so far to evaluate and test both software faults (e.g., Mutation Testing, Control Flow Testing, Data Flow Testing) and hardware faults (e.g. Fault Injection). In this paper, we present a survey of proposed techniques and methods to evaluate software and hardware reliability, and we study the possibility to explore them to evaluate the role of the software stack to evaluate system reliability face to hardware faults.

show abstract

Section: Hardware Reliabilitymentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Software testing and software fault injection

Kooli

Bosio

Benoit

et al. 2015

2015 10th International Conference on Design &Amp; Technology of Integrated Systems in Nanoscale Era (DTIS)

Self Cite

View full text Add to dashboard Cite

show abstract

“…As a measure for testing, it can be applied to improve the correctness. According to the ways that faults injected, fault injection can be classified as hardware-based (HWFI) [163], software-based (SWFI) [163,164], and simulation-based (SMFI) [163,165]. It needs to develop the real target system first to apply the HWFI and SWFI.…”

Section: The Traditional Dependability Means and Vandvmentioning

confidence: 99%

A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability

Zhou¹,

Hou²,

Zhang³

et al. 2017

Preprint

View full text Add to dashboard Cite

Though Cyber Physical Systems (CPS) become very popular in last the decade, dependability of CPS is still a critical issue and related survey is rare. We try to spell out the jigsaw of technologies and figure out the technical trends of dependable self-managing CPS. This survey first recalls the motivation and the similar concepts. By analyzing four generic architectures, we summarize the common characteristics and related assurance technologies, and propose a more generic environment-in-loop processing flow of CPS and a formal interaction flow between physical space and cyber space. Further, the similarity between correctness and dependability is formally analyzed and the new five research questions of dependable self-managing CPS are presented. Then we review the critical technologies and related correctness verification & validation (V&V) methods, the architectures for dependable self-managing CPS. Further, the detail dependability management and V&V technologies are surveyed, which covers the areas of running-time fault management methods and whole life cycle V&V technologies, maintenance and available tool sets. For holistic CPS development, Modeling techniques and MDE (model driven engineering) based V&V methods are analyzed in detail. Then we complete the jigsaw of technologies and figure out the missing part. Further, we propose the technical challenges and the further direction. To our best knowledge, this is the first comprehensive survey on dependable self-managing CPS development and evaluation.

show abstract

“…SWIFI can be either used at compile-time or at run-time. For a broader review of fault injection techniques and tools, including SWIFI techniques, the reader may refer to the up-to-date surveys [24], [25] and [26].…”

Section: ) Fault Injection Simulation Techniquesmentioning

confidence: 99%

An RTOS-based Fault Injection Simulator for Embedded Processors

Alimi¹,

Lahbib²,

Machhout³

et al. 2017

ijacsa

View full text Add to dashboard Cite

Abstract-Evaluating embedded systems vulnerability to faults injection attacks has gained importance in recent years due to the rising threats they bring to chips security. The task is particularly important for micro-controllers since they have lower resistance to fault attacks compared to hardware-based cryptosystems. This paper reviews recent embedded fault injection simulators from literature and presents an embedded high-level fault injection mechanism based on a Real-Time Operating System (RTOS). The approach aims to be architecture-independent and portable to 32-bit microcontrollers and embedded processors. The proposed mechanism, primarily targets realistic fault attack scenarios on memory locations, is adapted to timed and event-based fault injection. A Differential Fault Attack (DFA) was mounted on a popular ARM-based micro-controller running FreeRTOS to illustrate the proposed mechanism. The aim is also to bridge the embedded fault injection simulation mechanism efficiently to a computerbased cryptanalysis and to highlight the importance of physically protecting the memory and integrating data-specific countermeasures.

show abstract

A survey on simulation-based fault injection tools for complex systems

Cited by 71 publications

References 14 publications

Software testing and software fault injection

Software testing and software fault injection

A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability

An RTOS-based Fault Injection Simulator for Embedded Processors

Contact Info

Product

Resources

About