Reliability evaluation of multi-state systems subject to imperfect coverage using OBDD

Yung Ruei Chang; Suprasad V. Amari; Sy Yen Kuo

doi:10.1109/PRDC.2002.1185638

Reliability evaluation of multi-state systems subject to imperfect coverage using OBDD

Yung Ruei Chang
, Suprasad V. Amari
, Sy Yen Kuo

National Taiwan University
Relex Software Corp.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

21 Scopus citations

Abstract

This paper presents an efficient approach based on OBDD for the reliability analysis of a multi-state system subject to imperfect fault-coverage with combinatorial performance requirements. Since there exist dependencies between combinatorial performance requirements, we apply the multi-state dependency operation (MDO) of OBDD to deal with these dependencies in a multi-state system. In addition, this OBDD-based approach is combined with the conditional probability methods to find solutions for the multi-state imperfect coverage models. Using conditional probabilities, we can also apply this method for modular structures. The main advantage of this algorithm is that it will take computational time that is equivalent to the same problem without assuming imperfect coverage (i.e. with perfect coverage). This algorithm is very important for complex systems such as fault-tolerant computer systems, since it can obtain the complete results quickly and accurately even when there exist a number of dependencies such as shared loads (reconfiguration), degradation and common-cause failures.

Original language	English
Title of host publication	Proceedings - 2002 Pacific Rim International Symposium on Dependable Computing, PRDC 2002
Publisher	IEEE Computer Society
Pages	193-200
Number of pages	8
ISBN (Electronic)	0769518524
DOIs	https://doi.org/10.1109/PRDC.2002.1185638
State	Published - 2002
Externally published	Yes
Event	Pacific Rim International Symposium on Dependable Computing, PRDC 2002 - Tsukuba City, Ibaraki, Japan Duration: 16 12 2002 → 18 12 2002

Publication series

Name	Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
Volume	2002-January
ISSN (Print)	1541-0110

Conference

Conference	Pacific Rim International Symposium on Dependable Computing, PRDC 2002
Country/Territory	Japan
City	Tsukuba City, Ibaraki
Period	16/12/02 → 18/12/02

Bibliographical note

Publisher Copyright:
© 2002 IEEE.

Keywords

Aerospace control
Degradation
Fault tolerant systems
Markov processes
Performance analysis
Power system reliability
Redundancy
Reliability theory
Software performance
Stochastic processes

Access to Document

10.1109/PRDC.2002.1185638

Cite this

Chang, Y. R., Amari, S. V., & Kuo, S. Y. (2002). Reliability evaluation of multi-state systems subject to imperfect coverage using OBDD. In Proceedings - 2002 Pacific Rim International Symposium on Dependable Computing, PRDC 2002 (pp. 193-200). Article 1185638 (Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC; Vol. 2002-January). IEEE Computer Society. https://doi.org/10.1109/PRDC.2002.1185638

@inproceedings{904869d43d514acda37357f9f90b8e03,

title = "Reliability evaluation of multi-state systems subject to imperfect coverage using OBDD",

abstract = "This paper presents an efficient approach based on OBDD for the reliability analysis of a multi-state system subject to imperfect fault-coverage with combinatorial performance requirements. Since there exist dependencies between combinatorial performance requirements, we apply the multi-state dependency operation (MDO) of OBDD to deal with these dependencies in a multi-state system. In addition, this OBDD-based approach is combined with the conditional probability methods to find solutions for the multi-state imperfect coverage models. Using conditional probabilities, we can also apply this method for modular structures. The main advantage of this algorithm is that it will take computational time that is equivalent to the same problem without assuming imperfect coverage (i.e. with perfect coverage). This algorithm is very important for complex systems such as fault-tolerant computer systems, since it can obtain the complete results quickly and accurately even when there exist a number of dependencies such as shared loads (reconfiguration), degradation and common-cause failures.",

keywords = "Aerospace control, Degradation, Fault tolerant systems, Markov processes, Performance analysis, Power system reliability, Redundancy, Reliability theory, Software performance, Stochastic processes",

author = "Chang, \{Yung Ruei\} and Amari, \{Suprasad V.\} and Kuo, \{Sy Yen\}",

note = "Publisher Copyright: {\textcopyright} 2002 IEEE.; Pacific Rim International Symposium on Dependable Computing, PRDC 2002 ; Conference date: 16-12-2002 Through 18-12-2002",

year = "2002",

doi = "10.1109/PRDC.2002.1185638",

language = "英语",

series = "Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC",

publisher = "IEEE Computer Society",

pages = "193--200",

booktitle = "Proceedings - 2002 Pacific Rim International Symposium on Dependable Computing, PRDC 2002",

address = "美国",

}

Chang, YR, Amari, SV & Kuo, SY 2002, Reliability evaluation of multi-state systems subject to imperfect coverage using OBDD. in Proceedings - 2002 Pacific Rim International Symposium on Dependable Computing, PRDC 2002., 1185638, Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, vol. 2002-January, IEEE Computer Society, pp. 193-200, Pacific Rim International Symposium on Dependable Computing, PRDC 2002, Tsukuba City, Ibaraki, Japan, 16/12/02. https://doi.org/10.1109/PRDC.2002.1185638

Reliability evaluation of multi-state systems subject to imperfect coverage using OBDD. / Chang, Yung Ruei; Amari, Suprasad V.; Kuo, Sy Yen.
Proceedings - 2002 Pacific Rim International Symposium on Dependable Computing, PRDC 2002. IEEE Computer Society, 2002. p. 193-200 1185638 (Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC; Vol. 2002-January).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Reliability evaluation of multi-state systems subject to imperfect coverage using OBDD

AU - Chang, Yung Ruei

AU - Amari, Suprasad V.

AU - Kuo, Sy Yen

PY - 2002

Y1 - 2002

N2 - This paper presents an efficient approach based on OBDD for the reliability analysis of a multi-state system subject to imperfect fault-coverage with combinatorial performance requirements. Since there exist dependencies between combinatorial performance requirements, we apply the multi-state dependency operation (MDO) of OBDD to deal with these dependencies in a multi-state system. In addition, this OBDD-based approach is combined with the conditional probability methods to find solutions for the multi-state imperfect coverage models. Using conditional probabilities, we can also apply this method for modular structures. The main advantage of this algorithm is that it will take computational time that is equivalent to the same problem without assuming imperfect coverage (i.e. with perfect coverage). This algorithm is very important for complex systems such as fault-tolerant computer systems, since it can obtain the complete results quickly and accurately even when there exist a number of dependencies such as shared loads (reconfiguration), degradation and common-cause failures.

AB - This paper presents an efficient approach based on OBDD for the reliability analysis of a multi-state system subject to imperfect fault-coverage with combinatorial performance requirements. Since there exist dependencies between combinatorial performance requirements, we apply the multi-state dependency operation (MDO) of OBDD to deal with these dependencies in a multi-state system. In addition, this OBDD-based approach is combined with the conditional probability methods to find solutions for the multi-state imperfect coverage models. Using conditional probabilities, we can also apply this method for modular structures. The main advantage of this algorithm is that it will take computational time that is equivalent to the same problem without assuming imperfect coverage (i.e. with perfect coverage). This algorithm is very important for complex systems such as fault-tolerant computer systems, since it can obtain the complete results quickly and accurately even when there exist a number of dependencies such as shared loads (reconfiguration), degradation and common-cause failures.

KW - Aerospace control

KW - Degradation

KW - Fault tolerant systems

KW - Markov processes

KW - Performance analysis

KW - Power system reliability

KW - Redundancy

KW - Reliability theory

KW - Software performance

KW - Stochastic processes

UR - https://www.scopus.com/pages/publications/84948753282

U2 - 10.1109/PRDC.2002.1185638

DO - 10.1109/PRDC.2002.1185638

M3 - 会议稿件

AN - SCOPUS:84948753282

T3 - Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC

SP - 193

EP - 200

BT - Proceedings - 2002 Pacific Rim International Symposium on Dependable Computing, PRDC 2002

PB - IEEE Computer Society

T2 - Pacific Rim International Symposium on Dependable Computing, PRDC 2002

Y2 - 16 December 2002 through 18 December 2002

ER -

Chang YR, Amari SV, Kuo SY. Reliability evaluation of multi-state systems subject to imperfect coverage using OBDD. In Proceedings - 2002 Pacific Rim International Symposium on Dependable Computing, PRDC 2002. IEEE Computer Society. 2002. p. 193-200. 1185638. (Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC). doi: 10.1109/PRDC.2002.1185638

Reliability evaluation of multi-state systems subject to imperfect coverage using OBDD

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this