Although, historically, fault tolerance is connected to safetycritical systems, there has been an increasing interest in fault tolerance in mainstream application such as the cloud. There is a need for formal specification and verification of industrial fault-tolerant designs, since they integrate, in a non-trivial way, the ideas from distributed algorithms, whose correctness is usually based o...

Distributed real-time and embedded (DRE) systems often require support for multiple simultaneous quality of service (QoS) properties, such as real-timeliness and fault tolerance, that operate within resource constrained environments. These resource constraints motivate the need for a lightweight middleware infrastructure, while the need for simultaneous QoS properties require the middleware to ...

Replication is widely used to improve fault tolerance in distributed and multi-agent systems. In this paper, we present a different point of view on replication in multi-agent systems. The approach we propose is based on role concept. We define a specific “fault tolerant role” which encapsulates all behaviors related to replication-based fault tolerance in this work. Our strategy is mainly focu...

In this paper, we propose a new fault-tolerant model for replication in distributed-file systems. We combine the advantages of the modular redundancy, primary-stand-by, and weighted priority schemes to address the fault-tolerant model. To fulfill the fault-tolerant requirements, we use the ideas of directoryoriented replication and the extended prefix table while incorporating a two-level heap ...

This paper introduces different views for understanding problems and faults with the goal of defining a method for the formal specification of systems. The idea of Layered Fault Tolerant Specification (LFTS) is proposed to make the method extensible to fault tolerant systems. The principle is layering the specification in different levels, the first one for the normal behavior and the others fo...

A major problem in transitioning fault tolerance practices to the practitioner community is a lack of a common view of what fault tolerance is, and how it can help in the design of reliable computer systems. This document takes a step towards making fault tolerance more understandable by proposing a conceptual framework. The framework provides a consistent vocabulary for fault tolerance concept...

Distributed systems have two key advantages: they increase the quality of our interaction with computers and the quantity of resources available to us. The quality increases as components of a distributed system hide failures from users and render a service more reliable (safer from loss) andmore available (less downtime). Increases in quantity, such as computational power and storage capacity,...

Modular redundancy (system replication) and other traditional techniques for fault tolerance in dynamic systems are expensive, and rely heavily — particularly in the case of systems operating over extended time horizons — on the assumption that the error-correcting mechanism (e.g., voting) is fault-free. Herein, we construct redundant dynamic systems in a way that achieves tolerance to transien...

This paper proposed an observer based fault-tolerant control approach for the fuzzy T-S systems with sensors and actuators faults. By establishing the actuator fault and sensor fault models, an observer based fuzzy output feedback fault tolerant controller is developed and new stabilization conditions of the fuzzy fault tolerant control systems are given, which are formulated in terms of linear...