Criticality and Confidence Issues in Avionics (2009)
Laarouchi, Youssef, Deswarte, Yves, Powell, David, Arlat, Jean, De Nadai, Eric
Ensuring safety in avionics has mostly been achieved through a complete separation between avionics software and open-world software, in order to avoid any interaction that could corrupt critical...
Robustness Testing of Robot Controller Software (2009)
Chu, Haoang-Nam, Arlat, Jean, Killijian, Marc-Olivier, Lussier, Benjamin, Powell, David
The LAAS architecture [1] is a three-layer software architecture for real-time control of mobile robots, that has been used successfully in several systems. To improve its robustness, the...
Criticality and Confidence Issues in Avionics (2009)
Laarouchi, Youssef, Deswarte, Yves, Powell, David, Arlat, Jean, De Nadai, Eric
Ensuring safety in avionics has mostly been achieved through a complete separation between avionics software and open-world software, in order to avoid any interaction that could corrupt critical...
Robustness Testing of Robot Controller Software (2009)
Chu, Haoang-Nam, Arlat, Jean, Killijian, Marc-Olivier, Lussier, Benjamin, Powell, David
The LAAS architecture [1] is a three-layer software architecture for real-time control of mobile robots, that has been used successfully in several systems. To improve its robustness, the...
Workshop on Dependable and Secure Nanocomputing (2008)
The continuous advances and progress made in hardware technology makes it possible to foresee a realm of unprecedented performance levels and new applicationdriven architectural designs, as evidenced...
From experimental assessment of fault-tolerant systems to dependability benchmarking (2008)
This short contribution describes first the role of fault injection among the dependability assessment methods that are pertinent approach to the definition and development of dependability...
Industrial Advisory Board (2008)
Jean Arlat, Mario Dalcin, Pedro Gil, Karama Kanoun, Jean-claude Laprie, ...
The DBench (Dependability Benchmarking) project aims at defining a conceptual framework and an experimental environment for benchmarking the dependability of COTS and COTS-based systems. It will...
From experimental assessment of fault-tolerant systems to dependability benchmarking (2008)
This short contribution describes first the role of fault injection among the dependability assessment methods that are pertinent approach to the definition and development of dependability...
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
De La, Recherche Scientifique, Jean Arlat, Yinong Chen, Yinong Chen
This report has been submitted for publication outside of CNRS. It has been issued as a Research Report for early peer distribution. 2
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
Dependability of COTS Microkernel-Based Systems (2002)
Jean Arlat, Jean-charles Fabre, Ieee Computer Society, Manuel Rodrõâguez, Freâdeâ Ric Salles
AbstractÐThe commercial offer concerning microkernel technology constitutes an attractive alternative for developing operating systems to suit a wide range of application domains. However, the...
A Framework for Dependability Benchmarking (2002)
Karama Kanoun, Henrique Madeira, Jean Arlat
This paper outlines a framework for defining dependability benchmarks of computer systems that is being investigated by the European project DBench *. The multiple dimensions of the problem are...
Wrapping Real-Time Systems from Temporal Logic Specification (2002)
Manuel Rodríguez, Jean-charles Fabre, Jean Arlat
Abstract. This paper defines a methodology for developing wrappers for real-time systems starting from temporal logic specifications. Error confinement wrappers are automatically generated from the...
Characterization Approaches for CORBA Systems by Fault Injection (2002)
Eric Marsden, Jean-Charles Fabre, Jean Arlat
This document describes a number of approaches for the dependability characterization of middleware implementations, and in particular failure mode analysis of CORBA ORB implementations. The aim of...
Dependability of CORBA Systems: Service Characterization (2002)
Eric Marsden, Jean-charles Fabre, Jean Arlat
The dependability of CORBA systems is a crucial issue for the development of today's distributed platforms and applications. This paper analyzes various techniques that can be applied to the...
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models (2001)
Mohamed Kaâniche, Yannick Le Guédart, Jean Arlat, Thierry Boyer
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool 2 to support the dependability analysis of computer systems early in...
Formal specification for building robust real-time microkernels (2000)
Manuel Rodriguez, Jean-charles Fabre, Jean Arlat
This paper presents a method based on formal specifications for building robust real-time microkernels. Temporal logic is used to specih the functional and temporal properties of real-time kernels...
Coverage estimation methods for stratified fault-injection (1999)
Michel Cukier, David Powell, Jean Arlat
AbstractÐThis paper addresses the problem of estimating fault tolerance coverage through statistical processing of observations collected in fault-injection experiments. In an earlier paper, various...
Frequentist and Bayesian Coverage Estimations for Stratified Fault-Injection (1997)
Michel Cukier, Jean Arlat, David Powell
Abstract. This paper addresses the problem of estimating the coverage of fault tolerance through statistical processing of observations collected in fault-injection experiments. In an earlier paper,...
Can We Rely on COTS Microkernels for Building Fault-Tolerant Systems (1997)
Frdric Salles, Jean Arlat, Jean-charles Fabre
Abstract: This paper addresses the use of COTS microkernels in fault-tolerant, and, to some extent, safety-critical systems. The main issue is to assess the behavior of such components, upon which...
On Stratified Sampling for High Coverage Estimations (1996)
David Powell, Michel Cukier, Jean Arlat
. This paper addresses the problem of estimating the coverage of a fault tolerance mechanism through statistical processing of observations collected in fault-injection experiments. In an earlier...
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...
Definition and analysis of hardware- and software-fault-tolerant architectures (1990)
Jean-claude Laprie, Jean Arlat, Christian Bbounes, Karama Kanoun
0th experimental and real-life safety-related systems have begun to use design diversity to tolerate software faults. ’ Such systems focus strongly on design faults, where the term “design ”...