Drones have been developed for more than two decades. They become central to the functions of various civil aviation and military services. Commercial usage drones continues grow steadily. As used widely in different areas, this raises a safety concern, i.e., all multi-rotors an increased risk motor or sensor faults. This paper considers fault-tolerant control (FTC) problem against inertial mot...

This paper is concerned with the engineering of dependable web services. We have developed an approach based on deploying existing web services within a middleware framework so that they are fault tolerant. Our approach is independent of the services themselves and may be configured to support a range of different fault tolerance mechanisms. Central to the approach are what we call fault tolera...

Traditionally, fault tolerance researchers have required architectural state to be numerically perfect for program execution to be correct. However, in many programs, even if execution is not 100% numerically correct, the program can still appear to execute correctly from the user’s perspective. Hence, whether a fault is unacceptable or benign may depend on the level of abstraction at which cor...

In this paper, we define fault recovery in terms of condition system languages, and show how to modify a component model to represent a fault that limits the functionality of a component. We also show under what conditions a control can be synthesized to work around such a fault. Finally, we consider the propagation of faulty behavior throughout the system and present an algorithm to evaluate w...

The mobile wireless environment poses challenging problems in designing fault tolerant systems because of the dynamics of mobility and limited bandwidth available on wireless links Traditional fault tolerance schemes therefore cannot be directly applied to these systems Mobile systems are often subject to environ mental conditions which can cause loss of communica tions or data Because of the c...

The mobile wireless environment poses challenging problems in designing fault-tolerant systems because of the dynamics of mobility, and limited bandwidth available on wireless links. Traditional fault-tolerance schemes, therefore, cannot be directly applied to these systems. Mobile systems are often subject to environmental conditions which can cause loss of communications or data. Because of t...

Critical infrastructure applications provide services upon which society depends heavily; such applications require survivability in the face of faults that might cause a loss of service. These applications are themselves dependent on distributed information systems for all aspects of their operation and so survivability of the information systems is an important issue. Fault tolerance is a key...

Designing fault tolerance mechanisms for multi-agent systems is a notoriously difficult task. In this paper we present an approach to formal development of a fault tolerant multi-agent system by refinement in Event-B. We demonstrate how to formally specify cooperative error recovery and dynamic reconfiguration in Event-B. Moreover, we discuss how to express and verify essential properties of a ...

This paper describes an approach to fault-tolerant parallel computing which is based on the experiences with the most successful fault-tolerant software – the transaction processing systems. The algorithms presented here have less runtime overhead and faster recovery than most preceding approaches. In the Pact parallel programming environment fault tolerance is provided fully user transparent i...