Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance) is a tool for transforming distributed fault-intolerant programs to distributed fault-tolerant programs. 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. The issue of distribution is addressed in shared-memory model where processes are constrained by their ability in reading and writing program variables. Given a set of fault actions and a safety specification, the tool synthesizes a fault-tolerant program via a symbolic implementation of respective synthesis algorithms [BK07]. Sycraft has successfully been used to synthesize some of the classic protocols in the literature of fault-tolerant computing in distributed systems (e.g., Byzantine agreement, token ring, etc.).
Keywords for this software
References in zbMATH (referenced in 6 articles )
Showing results 1 to 6 of 6.
- Abujarad, Fuad; Lin, Yiyan; Bonakdarpour, Borzoo; Kulkarni, Sandeep S.: The complexity of automated addition of fault-tolerance without explicit legitimate states (2015)
- Bonakdarpour, Borzoo; Kulkarni, Sandeep: Synthesizing bounded-time 2-phase fault recovery (2015)
- Chen, Jingshu; Kulkarni, Sandeep: MR4UM: a framework for adding fault tolerance to UML state diagrams (2013)
- Bonakdarpour, Borzoo; Kulkarni, Sandeep S.; Abujarad, Fuad: Symbolic synthesis of masking fault-tolerant distributed programs (2012)
- Abujarad, F.; Kulkarni, S.S.: Automated constraint-based addition of nonmasking and stabilizing fault-tolerance (2011)
- Girault, Alain; Rutten, Éric: Automating the addition of fault tolerance with discrete controller synthesis (2009)