This paper addresses the issue of designing a fault accommodating control algorithm which, after a sensor fault occurrence, takes information about the degraded sensor into account and drives the system such that performance recovery is achieved. A general class of single input nonlinear systems is considered, containing also a disturbance term. An observer is used to reconstruct the degraded s...

The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for designing complex agent based fault tolerant systems. In order to provide such a guarantee, practically usable tools and techniques for verifying fault tolerant MAS architectures are urgently required. In this paper we ...

On-Chip Networks (OCNs) have been proposed to solve the complex on-chip communication problems. In Very Deep-Submicron era, OCN will also be affected by faults in chip due to technologies shrinking. Many researches focused on fault detection and diagnosis in OCN systems. However, these approaches didn’t consider faulty OCN system recovery. This paper proposes a scalable built-in self-recovery (...

This paper presents an experimental study of the fault sensitivity of four programs included in the MiBench test suit. We investigate their fault sensitivity with respect to hardware faults that manifest as single bit flips in main memory locations and instruction set architecture registers. To this end, we have conducted extensive fault injection experiments with two versions of each program, ...

On May 17th 1999, the Remote Agent (RA) became the first Artificial Intelligence based closed loop autonomous control system to take control of a spacecraft. The RA commanded NASA’s New Millennium Deep Space One spacecraft when it was 65 million miles away from earth. For a period of one week this system commanded DS1’s Ion Propulsion System, its camera, its attitude control and navigation syst...

Programs constructed using techniques that allow software or operational faults to be tolerated are typically written using an imperative computational model. Here, an alternative is described in which such programs are written using a functional and attribute based model called FTAG (Fault-Tolerant Attribute Grammars). The basic model is introduced first, followed by a description of mechanism...

In the late nineties, Eli Biham and Adi Shamir published the first paper on Differential Fault Analysis on symmetric key algorithms. More specifically they introduced a fault model where a key bit located in non-volatile memory is forced to 0/1 with a fault injection. In their scenario the fault was permanent, and could lead the attacker to full key recovery with low complexity. In this paper, ...

This chapter reviews the development of the recovery block approach to software fault tolerance and subsequent work based on this approach. It starts with an account of the development and implementations of the basic recovery block scheme in the early 1970s at Newcastle, and then goes on to describe work at Newcastle and elsewhere on extensions to the basic scheme, recovery in concurrent syste...

IBSDN: IGP as a Backup in SDN Master's thesis presented in partial fulfillment of the requirements for the degree of Master in computer sciences and engineering, with a specialization in networks and security.

Abstract This document looks into the ability of the DOCSIS MAC protocol to recover from service disruption events such as unexpected shut down due to power failure. The issue is that unlike normal operation a large number of modems will attempt to range simultaneously as soon as service is restored. Modem populations up to 200 were used. The results presented in this study are applicable for F...