Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Compositional Design of Multitolerant Repetitive Byzantine Agreement1

Summary: Compositional Design of Multitolerant
Repetitive Byzantine Agreement1
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 o er a potentially unique tolerance to
each of their fault-classes. More speci cally, our illustration is a
design of a repetitive agreement program that o ers two tolerances:
(a) it masks the e ects 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 speci cation in the
presence of faults, security intrusions, safety hazards, con guration changes, load
variations, etc. Designing dependable systems is di cult, 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