Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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
Abstract
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