DocumentCode
1804592
Title
MBDD versus MMDD for Multistate Systems Analysis
Author
Shrestha, Akhilesh ; Liudong Xing ; Dai, Yuanshun
Author_Institution
Univ. of Massachusetts Dartmouth, Dartmouth
fYear
2007
fDate
25-26 Sept. 2007
Firstpage
172
Lastpage
180
Abstract
Many combinatorial reliability models assume binary designation of states for both systems and their components. In many real applications, however, systems and their components may have more than two states (or levels of performance) varying from perfect operation to complete failure. In this paper, we present two combinatorial decision diagram based models that have been proposed for the analysis of multistate systems: multistate binary decision diagrams (MBDD) based approach and multistate multivalued decision diagrams (MMDD) based approach. And we conduct an empirical performance comparison between those two methods in terms of model size and computational complexity via two illustrative examples.
Keywords
decision diagrams; software performance evaluation; software reliability; systems analysis; binary designation; combinatorial decision diagram; combinatorial reliability models; multistate binary decision diagrams; multistate multivalued decision diagrams; multistate systems analysis; Application software; Binary decision diagrams; Boolean functions; Computational complexity; Data structures; Explosions; Information analysis; Power system analysis computing; Power system modeling; USA Councils;
fLanguage
English
Publisher
ieee
Conference_Titel
Dependable, Autonomic and Secure Computing, 2007. DASC 2007. Third IEEE International Symposium on
Conference_Location
Columbia, MD
Print_ISBN
978-0-7695-2985-1
Type
conf
DOI
10.1109/DASC.2007.13
Filename
4351402
Link To Document