Sciweavers

Share
CONCUR
2008
Springer

SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs

8 years 4 months ago
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.
Borzoo Bonakdarpour, Sandeep S. Kulkarni
Added 18 Oct 2010
Updated 18 Oct 2010
Type Conference
Year 2008
Where CONCUR
Authors Borzoo Bonakdarpour, Sandeep S. Kulkarni
Comments (0)
books