A Graph Theoretic Approach to Fault Tolerant Computing.
Abstract
This report documents the investigation of a graph theoretic approach to fault tolerance. This is part of a continuing effort to develop a unified approach to the analysis of fault tolerant digital systems based on graph theory. Earlier efforts have examined existing graphical models and found a number of them to be suitable for fault tolerance modeling. Two models, Petri Nets and LOGOS were found to be particularly suitable. A subsequent effort examined available results in Petri net theory for properties and relationships applicable to fault tolerance phenomena. The effort documented here focuses on the incorporation of data aspects of the system in the model and on an explicit representation of time in the model. A two-graph labeled graph model that associates two time parameters with each transition or operation is a feasible and effective method of representing a fault tolerant digital system for analysis purposes. The exact syntax of a single model is not specified in this effort, but such a definition can be made using these results in a straightforward way. Additional work is needed to identify data attributes critical to fault tolerance and to include them in the model.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 12, 1977
- Accession Number
- ADA046458
Entities
People
- W. L. Heimerdinger
- Y. W. Han
Organizations
- Honeywell International, Inc.