Automatic Generation of Fault-Tolerant Distributed Code
by Alain Girault
Mihaela Sighireanu
Yves Sorel
Catalin Dima

Table of contents

• Introduction
• Several Research Axes
• Problem Refinement
• Algorithm Model
• Architecture Model
• Distribution and Execution Constraints
• Failure Model
• Failure Model
• First Approach
• First Approach
• First Heuristic
• First Heuristic
• First Heuristic
• First Heuristic
• First Heuristic
• First Heuristic
• First Heuristic
• First Heuristic
• First Heuristic
• First Heuristic
• Fault-Tolerance Overhead
• A Faulty Execution
• Second Heuristic
• Second Heuristic
• Second Heuristic
• Second Heuristic
• Second Heuristic
• Second Heuristic
• Second Heuristic
• Second Heuristic
• Fault-Tolerance Overhead
• A Faulty Execution
• Second Approach
• Conclusion
• Perspectives