Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Symbolic prime generation for multiple-valued functions
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Efficient implementation of a BDD package
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
A Combinatorial Algorithm for Performance and Reliability Analysis Using Multistate Models
IEEE Transactions on Computers
Dependability Assessment Using Binary Decision Diagrams (BDDs)
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
A new model for evaluating performability under the effects of software aging and rejuvenation
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
A simple universal generating function method to search for all minimal paths in networks
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
QoS analysis of weighted multi-state probabilistic networks via decision diagrams
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
| Hi-index | 14.98 |
Abstract--In this paper, a new algorithm based on Binary Decision Diagram (BDD) for the analysis of a system with multistate components is proposed. Each state of a multistate component is represented by a Boolean variable, and a multistate system is represented by a series of multistate fault trees. A Boolean algebra with restrictions on variables is used to address the dependence among these Boolean variables that collectively represent the same component and a new BDD operation is proposed to realize this Boolean algebra. Due to the nature of the BDD, the sum of disjoint products (SDP) can be implicitly represented, which avoids huge storage and high computational complexity for large multistate systems. Some applications are given to illustrate the use of our new algorithm.