Automatic Generation of Fault-Tolerant Distributed Code
by Alain Girault
Christophe Lavarenne
Mihaela Sighireanu
Yves Sorel

Table of contents

• Outline
• Introduction
• Problem Refinement
• Related Work
• Algorithm Model
• Architecture Model
• Distribution and Execution Constraints
• Timing Constraints
• Failure Model
• Failure Model
• Our Approach
• The Heuristics: Principle
• The Heuristics: Principle
• The Heuristics: Principle
• The Heuristics: Algorithm
• An Example: Step 0
• An Example: Step 1
• An Example: Step 2
• An Example: Step 3
• An Example: Step 4
• An Example: Step 5
• An Example: Final Step
• Fault-Tolerance Overhead
• A Faulty Execution: Transient Iteration
• A Faulty Execution: Subsequent Iterations
• Analysis of this Example
• Checking the Timing Constraints
• Conclusion and Perspectives