• 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