Abstract Fault Tolerance:A Model-Theoretic Approach to Fault Tolerance and Fault Compensation without Error Correction

摘要

This paper explores the concept of "pure fault tolerance "--when a system can fulfill its computational goal, even though some of its components do not fulfill theirs. This leads to a natural statement of the composition problem for a very general concept of architecture: to what extent are the properties of a system based on that architecture a function of the properties of the components? The author explores several variations on pure fault tolerance, none of which utilize fault detection or error correction.