Dependability analysis of distributed computer systems with imperfect coverage
Publication
, Journal Article
Zang, X; Sun, H; Trivedi, KS
Published in: Proceedings - Annual International Conference on Fault-Tolerant Computing
January 1, 1999
In this paper, a new algorithm based on Binary Decision Diagrams (BDD) for dependability analysis of distributed computer systems (DCS) with imperfect coverage is proposed. Minimum file spanning trees (MFST) are generated and stored via BDD manipulation. By using the multistate concept, our algorithm can generate BDDs that can deal with imperfect coverage and obtain reliability expressions from these BDDs. Ordering strategies for variables are discussed in this paper as well. Due to the nature of the BDD, the sum of disjoint products (SDP) can be implicitly represented, which avoids huge storage and high computation complexity for large systems. Several examples are given to show the efficiency of this algorithm.
Duke Scholars
Published In
Proceedings - Annual International Conference on Fault-Tolerant Computing
ISSN
0731-3071
Publication Date
January 1, 1999
Start / End Page
330 / 337
Citation
APA
Chicago
ICMJE
MLA
NLM
Zang, X., Sun, H., & Trivedi, K. S. (1999). Dependability analysis of distributed computer systems with imperfect coverage. Proceedings - Annual International Conference on Fault-Tolerant Computing, 330–337.
Zang, X., H. Sun, and K. S. Trivedi. “Dependability analysis of distributed computer systems with imperfect coverage.” Proceedings - Annual International Conference on Fault-Tolerant Computing, January 1, 1999, 330–37.
Zang X, Sun H, Trivedi KS. Dependability analysis of distributed computer systems with imperfect coverage. Proceedings - Annual International Conference on Fault-Tolerant Computing. 1999 Jan 1;330–7.
Zang, X., et al. “Dependability analysis of distributed computer systems with imperfect coverage.” Proceedings - Annual International Conference on Fault-Tolerant Computing, Jan. 1999, pp. 330–37.
Zang X, Sun H, Trivedi KS. Dependability analysis of distributed computer systems with imperfect coverage. Proceedings - Annual International Conference on Fault-Tolerant Computing. 1999 Jan 1;330–337.
Published In
Proceedings - Annual International Conference on Fault-Tolerant Computing
ISSN
0731-3071
Publication Date
January 1, 1999
Start / End Page
330 / 337