Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Component Based Design of Multitolerance Anish Arora Sandeep S. Kulkarni
 

Summary: Component Based Design of Multitolerance
Anish Arora Sandeep S. Kulkarni
Department of Computer and Information Science 1
The Ohio State University
Columbus, Ohio 43210 USA
Abstract
The concept of multitolerance abstracts problems in system dependability and pro­
vides a basis for improved design of dependable systems. In the abstraction, each source
of undependability in the system is represented as a class of faults, and the corresponding
ability of the system to deal with that undependability source is represented as a type
of tolerance. Multitolerance thus refers to the ability of the system to tolerate multiple
fault­classes, each in a possibly different way.
In this paper, we present a component based method for designing multitolerance.
Two types of components are employed by the method, namely detectors and correctors.
A theory of detectors, correctors, and their interference­free composition with intolerant
programs is developed, that enables stepwise addition of components to provide tolerance
to a new fault­class while preserving the tolerances to the previously added fault­classes.
We illustrate the method by designing a fully distributed, multitolerant program for a
token ring.
Keywords : formal methods, compositional design, interference­freedom, stepwise design,

  

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

 

Collections: Computer Technologies and Information Sciences