Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Compositional Design of Multitolerant Repetitive Byzantine Agreement 1

Summary: Compositional Design of Multitolerant
Repetitive Byzantine Agreement 1
Sandeep S. Kulkarni Anish Arora
Department of Computer and Information Science
The Ohio State University
Columbus, OH 43210 USA
We illustrate in this paper a compositional and stepwise method
for designing programs that offer a potentially unique tolerance to
each of their fault­classes. More specifically, our illustration is a
design of a repetitive agreement program that offers two tolerances:
(a) it masks the effects of Byzantine failures and (b) it is stabilizing
in the presence of transient and Byzantine failures.
1 Introduction
Dependable systems are required to acceptably satisfy their specification in the
presence of faults, security intrusions, safety hazards, configuration changes, load
variations, etc. Designing dependable systems is difficult, essentially because
some desired dependability property, say, availability in the presence of faults,
may interfere with some other desired dependability property, say, security in
presence of intrusions. As an example, in electronic commerce systems, design


Source: Arora, Anish - Department of Computer Science and Engineering, Ohio State University


Collections: Computer Technologies and Information Sciences