SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs
SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs
复制标题
SYCRAFT：综合分布式容错程序的工具
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
S. Kulkarni
中科院分区：
文献类型：
--
作者：
Borzoo Bonakdarpour;S. Kulkarni
介绍了容错符号合成器和加法器工具Sycrat。在Syraft中，分布式容错程序是用一组进程和一个不变量来指定的。每个进程都被指定为使用保护命令语言的一组操作、一组进程可以读取的变量和一组进程可以写入的变量。在给定一组故障动作和一个规范的情况下，该工具通过各自算法的符号实现将输入的分布式容错程序转换为分布式容错程序。
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.