Performability analysis of multistate computing systems using multivalued decision diagrams

TitlePerformability analysis of multistate computing systems using multivalued decision diagrams
Publication TypeJournal Article
Year of Publication2010
AuthorsSV Amari, L Xing, A Shrestha, J Akers, and KS Trivedi
JournalIeee Transactions on Computers
Start Page1419
Pagination1419 - 1433
Date Published01/2010

A distinct characteristic of multistate systems (MSS) is that the systems and/or their components may exhibit multiple performance levels (or states) varying from perfect operation to complete failure. MSS can model behaviors such as shared loads, performance degradation, imperfect fault coverage, standby redundancy, limited repair resources, and limited link capacities. The nonbinary state property of MSS and their components as well as dependencies existing among different states of the same component make the analysis of MSS difficult. This paper proposes efficient algorithms for analyzing MSS using multivalued decision diagrams (MDD). Various reliability, availability, and performability measures based on state probabilities or failure frequencies are considered. The application and advantages of the proposed algorithms are demonstrated through two examples. Furthermore, experimental results on a set of benchmark examples are presented to illustrate the advantages of the proposed MDD-based method for the performability analysis of MSS, as compared to the existing methods. © 2006 IEEE.

Short TitleIeee Transactions on Computers