Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Introduction Fault-tolerant computing has traditionally been studied in the context of speci c
 

Summary: Chapter 1
Introduction
Fault-tolerant computing has traditionally been studied in the context of speci c
technologies, architectures, and applications. One consequence of this tradition is
that several subdisciplines of fault-tolerant computing have emerged that are appar-
ently unrelated to each other: these subdisciplines deal with speci c classes of faults,
employ distinct models and design methods, and have their own terminology and
classi cation 14, 40, 58]. As a result, the discipline itself appears to be fragmented.
Another consequence of this tradition is that veri cation of fault-tolerant
systems is often based on implementation-speci c artifacts|such as stable storage,
timeouts, and shadow registers|without explicitly specifying what properties of
these artifacts are necessary. Such veri cation is imprecise and hence unsuitable,
especially for safety-critical systems.
E orts have been made in the last decade to redress the problems described
above. Most of these e orts have focussed on uniformly classifying fault-tolerant sys-
tems, and two noteworthy classi cations have emerged. One is based on a distinction
between the notions of faults, errors, and failures: faults in a physical domain can
cause errors in an information domain, whereas errors in an information domain can
1
2

  

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

 

Collections: Computer Technologies and Information Sciences