Reiser, Hans P.
:
Malicious Fault Tolerance: From Theoretical Algorithms to an Efficient Application Development Process.
Erlangen:
FAU.
2002
TR-I4-02-02.- Interner Bericht.
10 Seiten.
Abstract:
In many situations, fault tolerance needs
to be provided not only in the presence of fail-stop faults, but also
in case of malicious misbehaviour. Recent research has provided
several theoretically well-founded algorithms that are feasible in
practice. Most work however focuses only on single algorithms, and
gives only little attention to adaptability to different
quality-of-service requirements and the whole software development
process.
This thesis outline aims at making three major contributions: First,
it specifies a modular architecture for malicious fault-tolerant
consensus algorithms, providing a generic interface to upper layers,
including recovery mechanisms, and supporting switching between
different consensus strategies depending on QoS requirements. Second,
it presents different abstractions for the application developer,
analysing which abstraction fits best for which developer
requirements, and how they can be realized using the low-level
modules. Third, it discusses how the application development process
for malicious fault-tolerant applications may benefit from a
generative approach, using a flexible, evolvable software generation
and transformation process.
