|
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