A Cut-Based Algorithm for Reliability Analysis of Terminal-Pair Network Using OBDD

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

Volumn , Issue , 2003, Pages 368-373

  Chang, Yung Ruei ^a,b   Lin, Hung Yau ^a   Chen, Ing Yi ^a,c   Kuo, Sy Yen ^a  

^a NATIONAL TAIWAN UNIVERSITY   (Taiwan)

^b INSTITUTE OF NUCLEAR ENERGY RESEARCH   (Taiwan)

^c NATIONAL TAIPEI UNIVERSITY OF TECHNOLOGY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

ISOMORPHIC SUB-PROBLEMS; ORDERED BINARY DECISION DIAGRAM (OBDD);

ALGORITHMS; BOOLEAN FUNCTIONS; COMPUTATIONAL METHODS; COMPUTER AIDED NETWORK ANALYSIS; RELIABILITY THEORY; TOPOLOGY;

COMPUTER NETWORKS;

EID: 0344666700     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. S. Rai and K.K. Aggarwal, "An efficient method for reliability evaluation of a general network", IEEE Trans. Reliability, vol. R-27, pp. 206-211, Aug. 1978.
2. J.A. Abraham, "An improved algorithm for network reliability", IEEE Trans. Reliability, vol. R-28, pp. 58-61, 1979.
3. S. Rai, A. Kumar, and E.V. Prasad, "Computer terminal reliability of computer network", Reliability Engineering, vol. 16, pp. 109-119, Jan. 1986.
4. S. Harri and C.S. Raghavendra, "SYREL: A symbol reliability algorithm based on path and cut-set methods", IEEE Trans. Computers, vol. C-36, pp.1224-1232, Oct. 1987.
5. S. Soh and S.Rai, "Experimental results on preprocessing of path/ cut term in the sum of disjoint products technique", IEEE Trans. Reliability, vol. 42, pp. 24-33, Mar. 1993.
6. S. Soh and S. Rai, "CAREL: Computer Aided RELiability evaluator for distributed computing networks", IEEE Trans. Parallel and Distributed Systems, vol. 2, pp. 199-213, Apr. 1991.
7. Y.G. Chen and M.C. Yuang, "A cut-based method for terminal-pair reliability", IEEE Trans. Reliability, vol. 45, pp. 413-41, Sept. 1996.
8. R.E. Bryant, "Graph-based algorithms for Boolean function manipulation", IEEE Trans. Computers, vol. C-35, pp. 677-691, Aug. 1986.
9. S.Y. Kuo, S.K. Lu, and P.M. Yeh, "Determining Terminal-Pair Reliability Based on Edge Expansion Diagrams Using OBDD", IEEE Trans. Reliability, vol. 48, no. 3, pp. 234-246, Sept. 1999.
10. A. Rauzy, "New algorithms for fault tree analysis", Reliability Engineering and System Safety, vol. 40, pp. 203-211, 1993.
11. R.M. Sinnamon and J.D. Andrews, "Improved efficiency in qualitative fault tree analysis", Quality and Reliability Engineering Int'l, vol. 13, pp. 293-298, 1997.
12. R.M. Sinnamon and J.D. Andrews, "Fault Tree Analysis and Binary Decision Diagrams," Proc. Ann. Reliability and Maintainability Symp., (RAMS '96), pp.215-222, Jan. 1996.