Some Challenges in Adaptive Fault Tolerant Computing (2009)
Taïani, François, Fabre, Jean-Charles
The objective of this short paper is to describe the interest of adaptive fault tolerance in computer systems and discuss some of the challenges to be addressed. The necessary evolution of computer...
Application of Early Error Detection for Handling Degraded Modes of Operation (2009)
Robert, Thomas, Fabre, Jean-Charles, Roy, Matthieu
Real-time software applications are in charge of maintaining a timely and predictable interaction with their environment, being it hardware devices, or other software entities. In this paper, we...
Some Challenges in Adaptive Fault Tolerant Computing (2009)
Taïani, François, Fabre, Jean-Charles
The objective of this short paper is to describe the interest of adaptive fault tolerance in computer systems and discuss some of the challenges to be addressed. The necessary evolution of computer...
Application of Early Error Detection for Handling Degraded Modes of Operation (2009)
Robert, Thomas, Fabre, Jean-Charles, Roy, Matthieu
Real-time software applications are in charge of maintaining a timely and predictable interaction with their environment, being it hardware devices, or other software entities. In this paper, we...
Optimized Object State Checkpointing Using Compile-Time Reflection (2008)
Marc-Olivier Killijian, Jean-Charles Fabre, S. Chiba
Introduction Object-oriented concepts have been now used in many fault tolerant systems in order to provide better flexibility than with classical system structuring solutions. Various approaches...
Designing Secure and Reliable Applications using (2008)
Jean-charles Fabre, Yves Deswarte, Brian R
Security and reliability issues in distributed systems have been investigated for several years at LAAS using a technique called Fragmentation-Redundancy-Scattering (FRS). The aim of FRS is to...
University of Newcastle upon Tyne, (2007)
Jean-charles Fabre, Yves Deswarte, Brian R
Abstract. Security and reliability issues in distributed systems have been investigated for several years at LAAS using a technique called Fragmentation-Redundancy-Scattering (FRS). The aim of FRS is...
Adaptive Fault Tolerant Systems: Reflective Design and Validation (2007)
Marc-olivier Killijian, Jean-charles Fabre
Reflection has been used with some success, since quite a few years now, for dealing with separation of concerns and transparency of fault-tolerance mechanisms for the application. Nevertheless, it...
Development of a Metaobject Protocol for Fault-Tolerance using Compile-Time Reflection (2007)
Marc-olivier Killijian, Jean-charles Fabre
The use of metalevel architectures for the implementation of fault-tolerant systems is today very appealing. Nevertheless, all such fault-tolerant systems have used a general-purpose metaobject...
Failure analysis of an ORB in presence of faults (2007)
Deliverable Ic, Eric Marsden, Jean-charles Fabre
Project funded by the European Community under the “Information
Towards Validating Reflective Architectures: Formalisation of a Metaobject Protocol (2007)
Eric Marsden, Juan Carlos, Ruiz Garca, Jean-charles Fabre
us to choose the -calculus [MPW92], a formal model for describing concurrent systems in terms of agents (which we use to represent object) which exchange messages (which model method invocations)...
FDP techniques in Object-Oriented Systems Brian Randell (2007)
design levels Interpreter H/W Elementary objects Figure 6: Designer view of FDP The hierarchy presented in Figure 6 shows one top-level object decomposed into several sub-objects at different...
Processing for Fault and Intrusion Tolerance in Distributed Systems (2007)
Jean-charles Fabre, Brian Randell
Abstract. This paper describes a technique, called Object-Oriented Fragmented Data Processing, for jointly improving the reliability and security with which distributed computing systems process...
A Multi-Level Meta-Object Protocol for Fault-Tolerance in Complex Architectures (2005)
F. Taiani, François Taïani, M-O Kilijan, J-C Fabre, Marc-olivier Killijian, François Taïani, ...
The past decade has seen an increasing use of complex computer systems made of third party components to develop mission critical applications. To insure the dependability of those systems in a sound...
A Multi-Level Meta-Object Protocol for Fault-Tolerance in Complex Architectures (2005)
François Taïani, Jean-charles Fabre, Marc-olivier Killijian, François Taïani, Jean-charles Fabre, Marc-olivier Killijian
(c) 2005 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for...
Taha Bennani, Taha Bennani, Laurent Blain, Laurent Blain, Ludovic Courtes, Ludovic Courtes, ...
The goal of this paper is to assess the value of simple features that are widely available in off-the-shelf CORBA and Java platforms for the implementation of faulttolerance mechanisms in...
Implementing Simple Replication Protocols using Corba Portable Interceptors (2004)
Taha Bennani, Laurent Blain, Ludovic Courtes, Jean-charles Fabre, Marc-olivier Killijian, Eric Marsden, ...
The goal of this paper is to assess the value of simple features that are widely available in off-the-shelf CORBA and Java platforms for the implementation of faulttolerance mechanisms in...
Towards Implementing Multi-Layer Reflection for FaultTolerance,” presented at (2003)
François Taïani, François Taïani, Jean-charles Fabre, Jean-charles Fabre, Marc-olivier Killijian, Marc-olivier Killijian
Copyright Notice © 2003 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new...
Towards Implementing Multi-Layer Reflection for Fault-Tolerance (2003)
Francois Taiani, Jean-charles Fabre, Marc-olivier Killijian, François Taïani, Jean-charles Fabre, Marc-olivier Killijian
Th3r2 party software is now in reasingly used in systems with hhm dependability requirements. Thq evolution of system development raises new h czM55LcO in parti ular regarding thg implementation of...
Principles of Multi-Level Reflection for Fault-Tolerant Architectures,” presented at 2002 (2002)
François Taïani, François Taïani, Jean-charles Fabre, Jean-charles Fabre, Marc-olivier Killijian, Marc-olivier Killijian
Copyright Notice © 2002 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new...
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...
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...
Failure Mode Analysis of CORBA Service Implementations (2001)
Eric Marsden, Jean-charles Fabre
Before using middleware in critical systems, integrators need information on the robustness of the software. This includes having a clear idea of the failure modes of middleware candidates, including...
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...
Using Compile-Time Reflection for Objects' State Capture (1999)
Marc-olivier Killijian, Jean-charles Fabre
Checkpointing is a major issue in the design and the implementation of dependable systems, especially for building fault tolerance strategies. Checkpointing a distributed application involves complex...
A Metaobject Architecture for Fault Tolerant Distributed Systems: The FRIENDS Approach (1998)
Jean-charles Fabre, Tanguy Pérennou
: The FRIENDS system developed at LAAS-CNRS is a metalevel architecture providing libraries of metaobjects for fault tolerance, secure communications and group-based distributed applications. The use...
A Metaobject Protocol for Fault-Tolerant CORBA Applications (1998)
Marc-olivier Killijian, Jean-charles Fabre, Shigeru Chiba
The use of metalevel architectures for the implementation of fault-tolerant systems is today very appealing. Nevertheless, all such fault-tolerant systems have used a general-purpose metaobject...
A metaobject protocol for fault-tolerant CORBA applications (1998)
Marc-olivier Killijian, Jean-charles Fabre, Shigeru Chiba
The use of metalevel architectures for the implementation of fault-tolerant systems is today very appealing. Nevertheless, all such fault-tolerant systems have used a general-purpose metaobject...
A metaobject protocol for fault-tolerant CORBA applications (1998)
Marc-olivier Killijian, Jean-charles Fabre, Shigeru Chiba
Abstract: The use of metalevel architectures for the implementation of fault-tolerant systems is today very appealing. Nevertheless, all existing fault-tolerant systems based on this approach have...
Design and Implementation of the FRIENDS System (1998)
Abstract. The paper describes a metaobject architecture for distributed fault tolerant systems. Basically metaobject protocols enables functional objects to be independent from meta-functional...
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...
Jean-charles Fabre, Tanguy Pérennou
. FRIENDS is a software-based architecture for implementing faulttolerant and, to some extent, secure applications. This architecture is composed of sub-systems and libraries of metaobjects....
Intrusion Tolerance in Distributed Computing Systems (1991)
Yves Deswarte, Laurent Blain, Jean-charles Fabre
An intrusion-tolerant distributed system is a system which is designed so that any intrusion into a part of the system will not endanger confidentiality, integrity and availability. This approach is...
Taiani, Francois, Killijian, Marc-Olivier, Fabre, Jean-Charles
In this article we present COSMOPEN, a reverse engineering tool optimised for the behavioural analysis of complex layered software. COSMOPEN combines cheap and non-intrusive observation techniques...