A Graph Model for Fault-Tolerant Computing Systems
- 1 September 1976
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-25 (9) , 875-884
- https://doi.org/10.1109/tc.1976.1674712
Abstract
An approach to fault-tolerant design is described in which a computing system S and an algorithm A to be executed by S are both defined by graphs whose nodes represent computing facilities. A is executable by S if A is isomorphic to a subgraph of S.A k-fault is the removal of k nodes (facilities) from S.S is a k-fault tolerant (k-FT) realization of A if A can be executed by S with any k-fault present in S. The problem of designing optimal k-FT systems is considered where A is equated to a 0-FT system. Techniques are described for designing optimal k-FT realizations of single-loop systems; these techniques are related to results in Hamiltonian graph theory. The design of optimal k-FT realizations of certain types of tree systems is also examined. The advantages and disadvantages of the graph model are discussed.Keywords
This publication has 11 references indexed in Scilit:
- The Architectural Elements of a Symmetric Fault-Tolerant MultiprocessorIEEE Transactions on Computers, 1975
- A Comparison of Some Theoretical Models of Parallel ComputationIEEE Transactions on Computers, 1973
- A Backtrack Procedure for Isomorphism of Directed GraphsJournal of the ACM, 1973
- Analysis and Design of Reliable Computer NetworksIEEE Transactions on Communications, 1972
- Reliability Modeling for Fault-Tolerant ComputersIEEE Transactions on Computers, 1971
- Faulty-Tolerant Computing: An OverviewComputer, 1971
- n-Hamiltonian graphsJournal of Combinatorial Theory, 1970
- GRAPH THEORYPublished by Defense Technical Information Center (DTIC) ,1969
- On the Connection Assignment Problem of Diagnosable SystemsIEEE Transactions on Electronic Computers, 1967
- A structural theory of machine diagnosisPublished by Association for Computing Machinery (ACM) ,1967