A design tool for fault tolerant software

The features and the implementation of the Recovery Meta Program, a mechanism for backward error recovery in concurrent and distributed application programs, are described. The Recovery Meta Program executes in a specific software layer that is distinct from the application and kernel layers; its implementation is described as an extension of XMDS (cross multimicro development system). The interfacing of the three software layers is illustrated by some examples of the implementation of techniques for software fault tolerance.<
>