Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Closure and Convergence: A Foundation of Fault-Tolerant Computing

Summary: Closure and Convergence:
A Foundation of Fault-Tolerant Computing
Anish ARORA Mohamed GOUDA
Department of Computer Science Department of Computer Sciences
The Ohio State Univ. at Columbus The Univ. of Texas at Austin
2036 Neil Avenue Mall, OH 43210 2.128 Taylor Hall, TX 78712
614-292-1836, Fax: 614-292-2911 512-471-9532, Fax: 512-471-8885
anish@cis.ohio-state.edu gouda@cs.utexas.edu
We give a formal de nition of what it means for a system to \tolerate" a class
of \faults". The de nition consists of two conditions: One, if a fault occurs when
the system state is within a set of \legal" states, the resulting state is within some
larger set and, if faults continue occurring, the system state remains within that
larger set (Closure). And two, if faults stop occurring, the system eventually reaches
a state within the legal set (Convergence). We demonstrate the applicability of
our de nition for specifying and verifying the fault-tolerance properties of a variety
of digital and computer systems. Further, using the de nition, we obtain a sim-
ple classi cation of fault-tolerant systems and discuss methods for their systematic
Keywords: Fault-tolerance, Reliability, Algorithms, Veri cation, Design.


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


Collections: Computer Technologies and Information Sciences