Dependability Analysis of Distributed Computer Systems with Imperfect Coverage

Authors:
Xinyu Zang;Hairong Sun;Kishor S. Trivedi
Affiliations:
-;-;-
Venue:
FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
Year:
1999

Citing 0
Cited 2

Computing System Failure Frequencies and Reliability Importance Measures Using OBDD

IEEE Transactions on Computers
OBDD-Based Evaluation of Reliability and Importance Measures for Multistate Systems Subject to Imperfect Fault Coverage

IEEE Transactions on Dependable and Secure Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.