Dependability of Communications in Critical Real-Time Control Systems (2008)
Anis Youssef, Agnan De Bonneval, Yves Crouzet
With the increasing interest in Micro-Electro-Mechanical Systems (MEMS) it is likely that they will be massively deployed in future control systems. Their use raises many new challenges: generic ones...
Evaluation of the MARS Architecture by means of Three Physical Fault Injection Techniques (2008)
Jean Arlat, Yves Crouzet, Johan Karlsson, Peter Folkesson, Günther Leber
Estimation of Time-Dependent Coverage (2007)
David Powell, Michel Cukier, Jean Arlat, Yves Crouzet
It is well-known that the dependability that can be achieved by a fault-tolerant system is particularly sensitive to both the asymptotic value of coverage and to the time distribution of coverage....
Jrome Bou, Yves Crouzet, Jean Arlat
Abstract: Early verification of the adequacy of fault tolerance mechanisms, and the subsequent removal of fault tolerance deficiency faults (ftd-faults), are essential tasks in the design process of...
Evaluation of the MARS Architecture by means of Three Physical Fault Injection Techniques (2007)
Jean Arlat, Yves Crouzet, Johan Karlsson, Peter Folkesson, Günther Leber
The SESAME experience: from assembly languages to declarative models (2006)
Yves Crouzet, Hélène Waeselynck, Benjamin Lussier, David Powell
SESAME (Software Environment for Software Analysis by Mutation Effects) is a fault injection tool using mutation as the target fault model. It has been used for 15 years to support dependability...
Comparison of Physical and Software-Implemented Fault Injection Techniques (2003)
Jean Arlat, Yves Crouzet, Johan Karlsson, Peter Folkesson, Emmerich Fuchs, Ieee Computer Society, ...
Abstract—This paper addresses the issue of characterizing the respective impact of fault injection techniques. Three physical techniques and one software-implemented technique that have been used...
Faultload representativeness for dependability benchmarking (2002)
In spite of several pioneering efforts (e.g., see [1-4]), and the related initiatives currently being developed-- e.g., the IFIP WG 10.4 SIGDeB and the European IST project DBench
Estimation of Time-Dependent Coverage (1996)
David Powell, Michel Cukier, Jean Arlat, Yves Crouzet
. It is well-known that the dependability that can be achieved by a fault-tolerant system is particularly sensitive to both the asymptotic value of coverage and to the time distribution of coverage....
Verification of Fault Tolerance by Means of Fault Injection into VHDL Simulation Models (1996)
Rome Bou, Jean Arlat, Yves Crouzet
This paper describes and illustrates the application of a strategy for testing fault tolerance by means of fault injection. The proposed approach encompasses a method for modelling fault tolerance...
Comparison and Integration of Three Diverse Physical Fault Injection Techniques (1994)
Johan Karlsson, Peter Folkesson, Jean Arlat, Yves Crouzet, Günther Leber, Johannes Reisinger
This report describes and compares three physical fault injection techniques — pin-level fault injection, heavy-ion radiation, and electromagnetic interference (EMI) — and their use in the...
Fault Injection and Dependability Evaluation of Fault-tolerant Systems (1993)
Jean Arlat, Alain Costes, Yves Crouzet, Jean-claude Laprie, David Powell
Abstract. The paper describes a dependability evaluation method based on fault injection that establishes the link between the experimental evaluation of the fault tolerance process and the fault...
Estimators for Fault Tolerance Coverage Evaluation (1993)
David Powell, Eliane Martins, Jean Arlat, Yves Crouzet
. This paper addresses the problem of estimating the coverage of a fault tolerance mechanism through statistical processing of observations collected in fault injection experiments. A formal...
Fault Injection and Dependability Evaluation of Fault-Tolerant Systems (1993)
Jean Arlat, Alain Costes, Yves Crouzet, Jean-claude Laprie, David Powell
The paper describes a dependability evaluation method based on fault injection that establishes the link between the experimental evaluation of the fault tolerance process and the fault occurrence...