FTSyn: A Fault-Tolerance Synthesizer


  •  Project description

  • Theoretical background (cf. my publications and this paper)

  • Examples (Diffusing computation, alternating bit protocol, altitude controller, etc.)

  • Technical report:  [pdf]

  • User manual:  [HTML],  [pdf

  • Design Class hierarchy: [HTML]

  • Drop me a line (aebnenas at mtu dot edu) for the source code of FTSyn!

FTSyn has been extended by our colleagues, Felix Freiling at the University of Mannheim, and Bastian Braun at the University of Hamburg in Germany. 


A distributed version of FTSyn, called D-FTSyn is available here.


Short bio            CV                               Research                Teaching              

Awards               Publications