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 :
بازگشت