Skip to content
Research Article Open access CC BY 4.0

Computation of k-out-of-n System Reliability via Reduced Ordered Binary Decision Diagrams

Ali Muhammad Ali Rushdi, Alaa Mohammad Alturki

Journal of Advances in Mathematics and Computer Science · pp. 1–9 · Published 31 May 2017

10.9734/BJMCS/2017/33642

Abstract

A prominent reliability model is that of the partially-redundant (k-out-of-n) system. We use algebraic as well as signal-flow-graph methods to explore and expose the AR algorithm for computing k-out-of-n reliability. We demonstrate that the AR algorithm is, in fact, both a recursive and an iterative implementation of the strategy of Reduced Ordered Binary Decision Diagrams (ROBDDs). The underlying ROBDD for the AR recursive algorithm is represented by a compact Signal Flow Graph (SFG) that is used to deduce AR iterative algorithms of quadratic temporal complexity and linear spatial complexity. Extensions of the AR algorithm for (single or scalar) threshold, double-threshold, vector-threshold, and k-to-l-out-of-n systems have similar ROBDD interpretations.

AR algorithm k-out-of-n system reduced ordered binary decision diagram reliability signal flow graph

References (24)

  1. 1 Graph-Based Algorithms for Boolean Function Manipulation [DOI]
  2. 2 Binary Decision Diagrams [DOI]
  3. 3 Handbook of Performability Engineering [DOI]
  4. 4 Boolean Reasoning: The Logic of Boolean Equations
  5. 5 An Efficient Binary-Decision-Diagram-Based Approach for Network Reliability and Sensitivity Analysis [DOI]
  6. 6 A BDD-based algorithm for analysis of multistate systems with multistate components [DOI]
  7. 7 The Signature of a Coherent System and Its Applications in Reliability [DOI]
  8. 8 Utilization of symmetric switching functions in the computation of k-out-of-n system reliability [DOI]
  9. 9 Assessment of redundant systems with imperfect coverage by means of binary decision diagrams [DOI]
  10. 10 Binary decision diagram-based reliability evaluation of k -out-of-( n + k ) warm standby systems subject to fault-level coverage [DOI]
  11. 11 Threshold systems and their reliability [DOI]
  12. 12 Partially-Redundant Systems: Examples, Reliability, and Life Expectancy
  13. 13 Reliability of Coherent Threshold Systems [DOI]
  14. 14 Binary Decision Diagrams for Reliability Studies [DOI]
  15. 15 O(kn) Algorithms for Analyzing Repairable and Non-repairable k-out-of-n:G Systems [DOI]
  16. 16 Switching-Algebraic Analysis of System Reliability [DOI]
  17. 17 Solving dynamic flowgraph methodology models using binary decision diagrams [DOI]
  18. 18 Binary Decision Diagrams [DOI]
  19. 19 Reliability of k-out-of-n Systems [DOI]
  20. 20 An ROBDD Algorithm for the Reliability of Double-Threshold Systems [DOI]
  21. 21 Unification of mathematical concepts and algorithms of k-out-of-n system reliability: A perspective of improved disjoint products [DOI]
  22. 22 An Application of Reliability-analysis Techniques in Project Management [DOI]
  23. 23 Reliability engineering & system safety
  24. 24 IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans [DOI]

Cited by 5

Utilization of Symmetric Switching Functions in the Symbolic Reliability Analysis of Multi-State k-out-of-n Systems

A. Rushdi · International journal of mathematical, engineering and management sciences · 2019

Reliability Analysis of a Commodity-Supply Multi-State System Using the Map Method

A. Rushdi, Abdulghani Bakur Alsayegh · Journal of Advances in Mathematics and Computer Science · 2019

Switching-Algebraic Analysis of Multi-State System Reliability

A. Rushdi, Mohamed A. Al-Amoudi · Journal of Engineering Research and Reports · 2019

Article metrics

Real usage data collected on this platform.

10

Page views

0

PDF downloads

0

Outbound clicks

5

Citations

Views over time

Views by country

Approximate, from request IP at view time — not citizenship or institution. Countries with fewer than 5 views are grouped as "Other".

Traffic sources

Referring site, by host.

Views and downloads exclude known bots/crawlers. Citations combines this platform's own DOI-resolved index with each external source's own reported total — see Cited by above for individually listed citing works. Last refreshed 0 seconds ago.