This dissertation concentrates on the problem of automated synthesis and repair of fault-tolerant systems. In particular, given the required specification of the system, our goal is to synthesize a fault-tolerant system, or repair an existing one. We study this problem for two classes of timed and distributed systems. In the context of timed systems, we focus on efficient synthesis of fault-tol...

An important objective of software fault tolerant systems should be to provide a fault-tolerance infrastructure in a manner that minimizes the effort required by the application developer. In the limit, the objective is to provide fault tolerance transparently to

This paper presents research work performed on the development and the verification of dependable reflective systems based on MetaObject Protocols (MOPs). We describe our experience, we draw the lessons learnt from both a design and a validation viewpoint, and we discuss some possible future trends on this topic. The main originality of this work relies on the combination of both design and val...

This work is concerned with phrasing the concepts of fault-tolerant quantum computation within the framework of disordered systems, Bernoulli site percolation in particular. We show how the so-called ‘‘threshold theorems’’ on the possibility of fault-tolerant quantum computation with constant error rate can be cast as a renormalization (coarse-graining) of the site percolation process describin...

The Switched Reluctance Machine (SRM) based electrical drive systems are ideal for diverse automotive safety-critical applications where the fault tolerance is a basic requirement. The phase independence characteristics of the SRM enable it to operate under partial phase failure conditions also in its classical construction. Its reliability can be improved by applying special fault tolerant des...

Even though real-time systems have the stringent constraint of completing tasks before their deadlines, many existing real-time operating systems do not implement fault tolerance capabilities. In this paper we describe the development and implementation of a non-preemptive fault tolerant real-time policy for aperiodic dynamic tasks. We implemented non-preemptive fault-tolerant scheduling and re...

Application of formal methods helps us to gain confidence in building correct software. On the other hand, to guarantee dependability of the overall system we need to build fault tolerant software, i.e., software which is not only fault-free but also is able to cope with faults of other system components. Obviously, this goal is attainable only if fault tolerance mechanisms constitute an intrin...

In this paper a theoretical framework of robust fault-tolerant control (FTC) for a class of nonlinear nonaffine-in-control systems is developed. In the framework, an observer-like auxiliary system is designed via adaptive and sliding mode techniques, which is only required to ensure that the output of the auxiliary system asymptotic tracking plant output. Based on the auxiliary system, a reconf...

Task synchronization means that each redundant module has the same executing schedule in each task scheduling cycle of the operating system in the Triple Modular Redundancy (abbreviated TMR) fault-tolerant systems; it faces how to realize the coordination among the three modules. Therefore, it is necessary to investigate the task synchronization process of the TMR fault-tolerant system. In the ...

In order to make systems based on nanometerscale devices reliable, the design of fault-tolerant architectures will be necessary. This paper presents a novel fault-tolerant technique for future nanocomputers, NAND multiplexing. Initiated by von Neumann, the NAND multiplexing technique, based on a massive duplication of imperfect devices and randomized imperfect interconnect, had been studied wit...