SYREL: A Symbolic Reliability Algorithm Based on Path and Cutset Methods
- 1 October 1987
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-36 (10) , 1224-1232
- https://doi.org/10.1109/tc.1987.1676862
Abstract
Symbolic terminal reliability algorithms are important for analysis and synthesis of computer networks. In this paper, we present a simple and efficient algorithm, SYREL, to obtain compact terminal reliability expressions between a terminal pair of computers of complex networks. This algorithm incorporates conditional probability,, set theory, and Boolean algebra in a distinct approach in which most of the computations performed are directly executable Boolean operations. The conditibnal probability is used to avoid applying at each iteration the most time consuming step in reliability algorithms, which is making a set of events mutually exclusive. The algorithm has been implemented on a VAX 11/750 and can analyze fairly large networks with modest memory and time requirements.Keywords
This publication has 20 references indexed in Scilit:
- Reliability analysis in distributed systemsIEEE Transactions on Computers, 1988
- Distributed program reliability analysisIEEE Transactions on Software Engineering, 1986
- Reliability Optimization in the Design of Distributed SystemsIEEE Transactions on Software Engineering, 1985
- Network reliability and acyclic orientationsNetworks, 1984
- System-Reliability Evaluation Techniques for Complex/Large SystemsߞA ReviewIEEE Transactions on Reliability, 1981
- An Efficient Method for Reliability Evaluation of a General NetworkIEEE Transactions on Reliability, 1978
- New Topological Formula and Rapid Algorithm for Reliability Analysis of Complex NetworksIEEE Transactions on Reliability, 1978
- Computing the Reliability of Complex NetworksSIAM Journal on Applied Mathematics, 1977
- A New Algorithm for Symbolic System Reliability AnalysisIEEE Transactions on Reliability, 1976
- An Algorithm for the Reliability Evaluation of Redundant NetworksIEEE Transactions on Reliability, 1970