2008 | OriginalPaper | Buchkapitel
SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs
verfasst von : Borzoo Bonakdarpour, Sandeep S. Kulkarni
Erschienen in: CONCUR 2008 - Concurrency Theory
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.