It is widely agreed that building correct fault-tolerant systems is very difficult. To address this problem, this paper introduces a new model-based approach for developing masking fault-tolerant systems. As in component-based software development, two (or more) component specifications are developed, one implementing the required normal behavior and the other(s) the required fault-handling beh...

A number of mechanisms for providing fault tolerance in distributed systems have been proposed for the traditional paradigms of system development. As Agent-Oriented Programming (AOP) becomes a more attractive model for distributed system construction, new possibilities of designing more flexible dependable systems are foreseen. Therefore, fault-tolerant mechanisms should be defined so that dep...

In this paper the problem of active fault tolerant control design for noisy systems described by Takagi-Sugeno fuzzy models is studied. The proposed control strategy is based on the known of the fault estimated and the error between the faulty system state and a reference system state. The considered systems are affected by actuator and sensor faults and have the weighting functions depending o...

Fault tolerant control for uncertain systems with time varying state-delay is studied in this paper. Based on sliding mode controller design, a fault tolerant control method is proposed. By means of the feasibility of some linear matrix inequalities (LMIs), delay dependent sufficient condition is derived for the existence of a linear sliding surface which guarantees quadratic stability of the r...

The nonlinear interconnected system is a complex and important in daily production life general. Due to the interconnection influence between subsystems external disturbance factors, prone failure. For this kind of system, decentralized fault detection tolerant control method proposed here. Compared with traditional scheme, paper designs subsystem communication protocol reduce information excha...

An increasing number of applications are demanding real-time performance from their multiprocessor systems. For many of these applications, a failure may produce disastrous results. Such failures are avoided in hard real-time systems by the use of fault-tolerance. In hard real-time multiprocessor scheduling, this fault tolerance may be provided by including several task backups in each schedule...

Fault tolerance must be included in the initial design of real time systems, must encompass hardware and software, and must be integrated with timing constraints. In many situations, the fault-tolerant design must be static, due to extremely high data rates and severe timing constraints. Ultrareliable systems need to employ proof-of-correctness techniques to ensure fault tolerance properties. W...

Research in the area of fault-tolerant distributed systems has focused to a large extent on data surviving various forms of failure. The replica control algorithms for maintaining mutually consistent replicas abound in number. However, comparatively little work has been devoted to making processes recoverable. In domains other than databases and transaction processing, faulttolerance generally ...

We focus on synthesis techniques for transforming existing fault-intolerant real-time programs to fault-tolerant programs that provide phased recovery. A fault-tolerant program is one that satisfies its safety and liveness specifications as well as timing constraints in the presence of faults. We argue that in many commonly considered programs (especially in mission-critical systems), when faul...