In order to increase the level of fault-tolerance of wireless sensor networks, thus to enhance the reliability and accuracy, we studies the traditional byzantine fault-tolerant program, and makes improvements in the environment of WSNs, reducing the number of rounds of message exchange between network nodes, thus improving the efficiency and reducing communication overhead and energy consumptio...

Java has been described as a simple, object-oriented, distributed, interpreted, robust, secure, architectural neutral, portable, high-performance, multithreaded and dynamic language, prompting some to describe it as the rst buzzword-compliant programming language. We submit that to deserve full certiication|and in the process establish itself as the natural choice for developing large-scale dis...

Late detection of new types of faults often results in the evolution of faulttolerance requirements while developers have already created design artifacts. Thus, the reuse of an existing design in the development of a fault-tolerant version thereof has the potential to reduce the overall development costs. Moreover, the automation of such a reuse yields a fault-tolerant design that is correct b...

With the growing demand of Cloud Computing, Fault tolerance is a major concern because there are many types of failure occur and fault tolerance guarantee availability and reliability of critical issues as well as applications. Fault tolerant technique necessary to enable a system to tolerate software faults remaining in the system after its development. When a fault occurs, these techniques pr...

Safety-critical applications have to function correctly even in presence of faults. This thesis deals with techniques for tolerating effects of transient and intermittent faults. Reexecution, software replication, and rollback recovery with checkpointing are used to provide the required level of fault tolerance. These techniques are considered in the context of distributed real-time systems wit...

Fault-tolerance is a crucial property in many systems. Thus, mechanical verification of algorithms associated with synthesis of faulttolerant programs is desirable to ensure their correctness. In this paper, we present the mechanized verification of algorithms that automate the addition of fault-tolerance to a given fault-intolerant program using the PVS theorem prover. By this verification, no...

In this paper, fault-tolerant MPC control of PEM fuel cells is addressed. MPC is a suitable control methodology to control fuel cell systems because of their multivariable and complex behaviour. Additionally, MPC is one of the control methodologies that can introduce more easily fault-tolerance. However, the problem of including actuator fault-tolerance in the control loops of these systems has...

In this paper, we deal with two important issues in relation to modular recon gurable manipulators, namely, the determination of the modular assembly con guration optimally suited to perform a speci c task and the synthesis of fault tolerant systems. We present a numerical approach yielding an assembly con guration that satis es four kinematic task requirements: reachability, joint limits, obst...

Fault tolerance and transmission delay of networks are important concepts in network design. The notions are strongly related to connectivity and diameter of a graph, and have been studied by many authors. Wide diameter of a graph combines studying connectivity with the diameter of a graph. Diameter with width k of a graph G is defined as the minimum integer d for which there exist at least k i...

This paper proposes a new approach to operating system support for fault tolerance. We argue that in order to meet diverse application fault-tolerance requirements, the operating system should allow users to extend its functionality to support application-specific fault-tolerance protocols. We show that this kind of customisability can be achieved by explicitly decomposing the operating system ...