A Graph Theoretic Approach to Fault Tolerant Computing.
HONEYWELL INC MINNEAPOLIS MINN SYSTEMS AND RESEARCH CENTER
Pagination or Media Count:
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.
- Computer Hardware