Implementation of a Modular Distributed Fault-Tolerant Controller for MMC Applications

A design for a fault-tolerant, distributed implementation of Linda

Optimal Discrete Controller Synthesis for Modeling Fault-tolerant Distributed Systems

We propose a safe design method for safe execution systems, based on faulttolerance techniques: it uses optimal discrete controller synthesis (DCS) to generate a correct-by-construction fault-tolerant system. The properties enforced concern consistent execution, functionality fulfillment (whatever the faults, under some failure hypothesis), and several optimizations (of the tasks’ execution tim...

Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis

Embedded systems require safe design methods based on formal methods, as well as safe execution based on fault-tolerance techniques. We propose a safe design method for safe execution systems: it uses discrete controller synthesis (DCS) to generate a correct reconfiguring system. The properties enforced concern consistent execution, functionality fulfillment (whatever the faults, under some fai...

Visual Programming of Fault-Tolerant Distributed Applications

of Fault-Tolerant Distributed Applications B. Muganga F. Pacull K.R. Mazouni A.-D. Wol Laboratoire de Syst emes d'Exploitation, D epartement d'Informatique Ecole Polytechnique F ed erale de Lausanne, CH-1015 Lausanne (Switzerland) e-mail: [email protected] .ch Abstract The design of fault-tolerant distributed applications is a complex task. In addition to application functionalities, the programm...

STAR: A Fault-Tolerant System for Distributed Applications

This paper presents a fault-tolerant manager for distributed applications. This manager provides an efficient recovery of hosts’ failures on networks of workstations. An independent checkpointing is used to automatically recover application processes affected by host failures. Domino-effects are avoided by means of message logging and file versions management. STAR provides an efficient softwar...