Accession Number:

ADA014935

Title:

Theory of Fault Tolerance.

Descriptive Note:

Annual rept. Aug 74-Aug 75,

Corporate Author:

HONEYWELL INC MINNEAPOLIS MINN SYSTEMS AND RESEARCH CENTER

Report Date:

1975-09-22

Pagination or Media Count:

114.0

Abstract:

The first phase of a long range program to develop a theoretical base for the design and evaluation of fault tolerant digital systems is summarized. The purpose of this effort was to investigate the feasibility of representing fault tolerant phenomena with two existing Labeled Graph models, LOGOS and Petri Nets. LOGOS and Petri Net models were used to represent systems at a functional level. Functional faults were hypothesized to describe the effect of a fault mechanism from a functional viewpoint. Functional faults were found to provide high leverage over traditional Stuck-At-One or Stuck-At-Zero analysis. Models were developed which describe 1 The non-faulty system function 2 The faulty system operation 3 Fault detection techniques and 4 Fault recovery schemes. The results of modeling several candidate fault tolerant system problems reaffirmed our belief in the utility of Labeled Graphs as a representation language for fault tolerant phenomena. We found both models concisely described the structure and dynamics of a control system and provided insight into the effect of fault detection and recovery mechanisms on a given fault mechanism.

Subject Categories:

  • Numerical Mathematics
  • Computer Programming and Software
  • Computer Hardware
  • Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE