SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs

We present the tool Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance). In Sycraft, a distributed fault-intolerant program is specified in terms of a set of processes and an invariant. Each process is specified as a set of actions in a guarded command language, a set of variables that the process can read, and a set of variables that the process can write. Given a set of fault actions and a specification, the tool transforms the input distributed fault-intolerant program into a distributed fault-tolerant program via a symbolic implementation of respective algorithms.

• Type: Conference
• Year: 2008
• Where: CONCUR
• Authors: Borzoo Bonakdarpour, Sandeep S. Kulkarni
• Keywords: CONCUR 2008, Distributed And Parallel Computing, Fault-intolerant Program, Guarded Command Language, SYmboliC SynthesizeR