Introduction

In this manual, we present a framework where the developers of fault-tolerance can synthesize fault-tolerant programs from their fault-intolerant versions. Since the complexity of synthesis is exponential, developers need to apply heuristics during the synthesis to reduce the complexity. Moreover, developers of fault-tolerance may need to use heuristics in different order for different problems. Our goal is to introduce our framework by describing its input, its output, its design, and a succinct description of its implementation. Towards this end, we first present an overview of our framework so that the reader can realize the architecture of the framework. Second, we describe the way that developers of fault-tolerance can communicate with our framework. To achieve this goal, we explain the syntax and the semantics of the interaction language. Third, we present the object-oriented design of our framework where we present the classes and design patterns that are involved in the organization of the framework. Fourth, we briefly describe the implementation of our framework. Finally, we present some examples that illustrate the use of our framework. Remark. We assume that the reader is familiar with the theoretical background of our research work based on which we have developed this framework. Otherwise, we refer the interested reader to [#!ftrtft2000!#,#!ke02!#,#!srds01!#,#!frmwrktech!#].