The tool described in this paper aims at evaluating the effectiveness of software-implemented faulttolerant techniques used in safety-critical systems. The target application is stressed with the injection of transient or permanent faults. The user can therefore observe the real behaviour of the application in presence of a fault, and, if necessary, take the appropriate countermeasures. The acc...

A significant issue in fault injection experiments is that the injected faults are representative of software faults observed in the field. Another important issue is the time used, as we want experiments to be conducted without excessive time spent waiting for the consequences of a fault. An approach to accelerate the failure process would be to inject errors instead of faults, but this would ...

We analyze: (i) use of virtualization to facilitate fault injection into non-virtualized systems, and (ii) use of fault injection to evaluate the dependability of virtualized systems. With the Xen Virtual Machine Monitor (VMM) as a test case, for (i), we injected thousands of faults into the code, memory, and registers of paravirtualized and fullyvirtualized Virtual Machines (VMs) from within t...

Because they are comparatively easy to implement, structural coverage criteria are commonly used for test derivation in modeland code-based testing. However, there is a lack of compelling evidence that they are useful for finding faults, specifically so when compared to random testing. This paper challenges the idea of using coverage criteria for test selection and instead proposes an approach ...

This report aims at presenting the research program and to review the literature describing quantum computing, quantum fault tolerance issues and classical fault injection. Thus, previous work is presented together with future research directions. The proposed PhD research program aims at developing a methodology for simulation based fault injection for quantum circuits. Through simulation, I o...

Fault injection technologies can be utilized to steal secret information inside integrated circuits (ICs), and thus cause serious security threats. Parity check has been adopted as an efficient method against fault attacks. However, the contradiction between overhead restricts further development applications of parity in detection. This paper proposes two methods, mixed-grained word recombinat...

Fault/error injection has emerged as a valuable means for evaluating the dependability of a system. In particular, software-based techniques, which can be described as software-implemented and simulation-based techniques, have become very popular because of the relative simplicity of injecting faults. After discussing the advantages and drawbacks of these techniques, two approaches are introduc...

This paper proposes some techniques to improve algebraic fault analysis (AFA). Firstly, we show that building the decryption equation set of a cipher can accelerate the solving procedure. Secondly, we propose a method to represent the injected faults with algebraic equations when the accurate fault location is unknown. We take Piccolo as an example to illustrate our AFA and compare it with prev...

Web service orchestrations are widely adopted solution for development of loosely-coupled distributed applications. In addition to traditional defects causing failures in the software systems, their quality is also affected by additional problems such as network latency, interface inconsistency or communication issues. Тhe fault injection testing is useful for validation the behavior of the web...

These two categories complement each other as they are used in different phases of the design process. The advantage of simulation-based fault injection is that it can be employed early in the design, which facilitates early detection of design faults, which thus reduces the cost for correcting such faults. It also provides a high degree of controllability and observability. The main drawback t...