IDEAS home Printed from https://ideas.repec.org/a/eee/reensy/v165y2017icp257-267.html
   My bibliography  Save this article

An efficient algorithm for exact computation of system and survival signatures using binary decision diagrams

Author

Listed:
  • Reed, Sean

Abstract

System and survival signatures are important and popular tools for studying and analysing the reliability of systems. However, it is difficult to compute these signatures for systems with complex reliability structure functions and large numbers of components. This paper presents a new algorithm that is able to compute exact signatures for systems that are far more complex than is feasible using existing approaches. This is based on the use of reduced order binary decision diagrams (ROBDDs), multidimensional arrays and the dynamic programming paradigm. Results comparing the computational efficiency of deriving signatures for some example systems (including complex benchmark systems from the literature) using the new algorithm and a comparison enumerative algorithm are presented and demonstrate a significant reduction in computation time and improvement in scalability with increasing system complexity.

Suggested Citation

  • Reed, Sean, 2017. "An efficient algorithm for exact computation of system and survival signatures using binary decision diagrams," Reliability Engineering and System Safety, Elsevier, vol. 165(C), pages 257-267.
    • Handle: RePEc:eee:reensy:v:165:y:2017:i:c:p:257-267
    DOI: 10.1016/j.ress.2017.03.036
    as

    Download full text from publisher

    File URL: http://www.sciencedirect.com/science/article/pii/S095183201630120X
    Download Restriction: Full text for ScienceDirect subscribers only
    File URL: https://libkey.io/10.1016/j.ress.2017.03.036?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    References listed on IDEAS

    as
    1. Frank PA Coolen & Tahani Coolen-Maturi & Abdullah H Al-nefaiee, 2014. "Nonparametric predictive inference for system reliability using the survival signature," Journal of Risk and Reliability, , vol. 228(5), pages 437-448, October.
    2. Coolen, Frank P.A. & Coolen-Maturi, Tahani, 2015. "Predictive inference for system reliability after common-cause component failures," Reliability Engineering and System Safety, Elsevier, vol. 135(C), pages 27-33.
    3. Bjorkman, Kim, 2013. "Solving dynamic flowgraph methodology models using binary decision diagrams," Reliability Engineering and System Safety, Elsevier, vol. 111(C), pages 206-216.
    4. Feng, Geng & Patelli, Edoardo & Beer, Michael & Coolen, Frank P.A., 2016. "Imprecise system reliability and component importance based on survival signature," Reliability Engineering and System Safety, Elsevier, vol. 150(C), pages 116-125.
    5. Da, Gaofeng & Zheng, Ben & Hu, Taizhong, 2012. "On computing signatures of coherent systems," Journal of Multivariate Analysis, Elsevier, vol. 103(1), pages 142-150, January.
    6. Marichal, Jean-Luc & Mathonet, Pierre, 2013. "Computing system signatures through reliability functions," Statistics & Probability Letters, Elsevier, vol. 83(3), pages 710-717.
    7. S Eryilmaz, 2010. "Review of recent advances in reliability of consecutive k-out-of-n and related systems," Journal of Risk and Reliability, , vol. 224(3), pages 225-237, September.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Huang, Xianzhen & Coolen, Frank P.A. & Coolen-Maturi, Tahani, 2019. "A heuristic survival signature based approach for reliability-redundancy allocation," Reliability Engineering and System Safety, Elsevier, vol. 185(C), pages 511-517.
    2. Huang, Xianzhen & Jin, Sujun & He, Xuefeng & He, David, 2019. "Reliability analysis of coherent systems subject to internal failures and external shocks," Reliability Engineering and System Safety, Elsevier, vol. 181(C), pages 75-83.
    3. Andrews, John & Tolo, Silvia, 2023. "Dynamic and dependent tree theory (D2T2): A framework for the analysis of fault trees with dependent basic events," Reliability Engineering and System Safety, Elsevier, vol. 230(C).
    4. Hashemi, M. & Asadi, M. & Zarezadeh, S., 2020. "Optimal maintenance policies for coherent systems with multi-type components," Reliability Engineering and System Safety, Elsevier, vol. 195(C).
    5. Eryilmaz, Serkan & Coolen, Frank P.A. & Coolen-Maturi, Tahani, 2018. "Marginal and joint reliability importance based on survival signature," Reliability Engineering and System Safety, Elsevier, vol. 172(C), pages 118-128.
    6. Walter, Gero & Flapper, Simme Douwe, 2017. "Condition-based maintenance for complex systems based on current component status and Bayesian updating of component reliability," Reliability Engineering and System Safety, Elsevier, vol. 168(C), pages 227-239.
    7. Hindolo George-Williams & Geng Feng & Frank PA Coolen & Michael Beer & Edoardo Patelli, 2019. "Extending the survival signature paradigm to complex systems with non-repairable dependent failures," Journal of Risk and Reliability, , vol. 233(4), pages 505-519, August.
    8. Chang, Miaoxin & Huang, Xianzhen & Coolen, Frank PA & Coolen-Maturi, Tahani, 2023. "New reliability model for complex systems based on stochastic processes and survival signature," European Journal of Operational Research, Elsevier, vol. 309(3), pages 1349-1364.
    9. Reed, Sean & Löfstrand, Magnus & Andrews, John, 2019. "An efficient algorithm for computing exact system and survival signatures of K-terminal network reliability," Reliability Engineering and System Safety, Elsevier, vol. 185(C), pages 429-439.
    10. Eryilmaz, Serkan, 2020. "Age-based preventive maintenance for coherent systems with applications to consecutive-k-out-of-n and related systems," Reliability Engineering and System Safety, Elsevier, vol. 204(C).
    11. Serkan Eryilmaz & Frank P.A. Coolen & Tahani Coolen‐Maturi, 2018. "Mean residual life of coherent systems consisting of multiple types of dependent components," Naval Research Logistics (NRL), John Wiley & Sons, vol. 65(1), pages 86-97, February.
    12. Coolen-Maturi, Tahani & Coolen, Frank P.A. & Balakrishnan, Narayanaswamy, 2021. "The joint survival signature of coherent systems with shared components," Reliability Engineering and System Safety, Elsevier, vol. 207(C).
    13. Behrensdorf, Jasper & Regenhardt, Tobias-Emanuel & Broggi, Matteo & Beer, Michael, 2021. "Numerically efficient computation of the survival signature for the reliability analysis of large networks," Reliability Engineering and System Safety, Elsevier, vol. 216(C).
    14. Huang, Xianzhen & Aslett, Louis J.M. & Coolen, Frank P.A., 2019. "Reliability analysis of general phased mission systems with a new survival signature," Reliability Engineering and System Safety, Elsevier, vol. 189(C), pages 416-422.
    15. Mi, Jinhua & Beer, Michael & Li, Yan-Feng & Broggi, Matteo & Cheng, Yuhua, 2020. "Reliability and importance analysis of uncertain system with common cause failures based on survival signature," Reliability Engineering and System Safety, Elsevier, vol. 201(C).
    16. Wang, Shaoxuan & Yao, Yuantao & Ge, Daochuan & Lin, Zhixian & Wu, Jie & Yu, Jie, 2023. "Reliability evaluation of standby redundant systems based on the survival signatures methods," Reliability Engineering and System Safety, Elsevier, vol. 239(C).
    17. Shi, Yan & Behrensdorf, Jasper & Zhou, Jiayan & Hu, Yue & Broggi, Matteo & Beer, Michael, 2024. "Network reliability analysis through survival signature and machine learning techniques," Reliability Engineering and System Safety, Elsevier, vol. 242(C).
    18. Salomon, Julian & Winnewisser, Niklas & Wei, Pengfei & Broggi, Matteo & Beer, Michael, 2021. "Efficient reliability analysis of complex systems in consideration of imprecision," Reliability Engineering and System Safety, Elsevier, vol. 216(C).
    19. Patelli, Edoardo & Feng, Geng & Coolen, Frank P.A. & Coolen-Maturi, Tahani, 2017. "Simulation methods for system reliability using the survival signature," Reliability Engineering and System Safety, Elsevier, vol. 167(C), pages 327-337.
    20. Di Maio, Francesco & Pettorossi, Chiara & Zio, Enrico, 2023. "Entropy-driven Monte Carlo simulation method for approximating the survival signature of complex infrastructures," Reliability Engineering and System Safety, Elsevier, vol. 231(C).
    21. He Yi & Narayanaswamy Balakrishnan & Lirong Cui, 2022. "On Dependent Multi-State Semi-Coherent Systems Based on Multi-State Joint Signature," Methodology and Computing in Applied Probability, Springer, vol. 24(3), pages 1717-1734, September.
    22. He Yi & Lirong Cui, 2018. "A new computation method for signature: Markov process method," Naval Research Logistics (NRL), John Wiley & Sons, vol. 65(5), pages 410-426, August.
    23. Xianzhen Huang & Frank PA Coolen, 2018. "Reliability sensitivity analysis of coherent systems based on survival signature," Journal of Risk and Reliability, , vol. 232(6), pages 627-634, December.

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Patelli, Edoardo & Feng, Geng & Coolen, Frank P.A. & Coolen-Maturi, Tahani, 2017. "Simulation methods for system reliability using the survival signature," Reliability Engineering and System Safety, Elsevier, vol. 167(C), pages 327-337.
    2. Huang, Xianzhen & Aslett, Louis J.M. & Coolen, Frank P.A., 2019. "Reliability analysis of general phased mission systems with a new survival signature," Reliability Engineering and System Safety, Elsevier, vol. 189(C), pages 416-422.
    3. Feng, Geng & Patelli, Edoardo & Beer, Michael & Coolen, Frank P.A., 2016. "Imprecise system reliability and component importance based on survival signature," Reliability Engineering and System Safety, Elsevier, vol. 150(C), pages 116-125.
    4. Hindolo George-Williams & Geng Feng & Frank PA Coolen & Michael Beer & Edoardo Patelli, 2019. "Extending the survival signature paradigm to complex systems with non-repairable dependent failures," Journal of Risk and Reliability, , vol. 233(4), pages 505-519, August.
    5. Zarezadeh, Somayeh & Asadi, Majid, 2019. "Coherent systems subject to multiple shocks with applications to preventative maintenance," Reliability Engineering and System Safety, Elsevier, vol. 185(C), pages 124-132.
    6. Mi, Jinhua & Beer, Michael & Li, Yan-Feng & Broggi, Matteo & Cheng, Yuhua, 2020. "Reliability and importance analysis of uncertain system with common cause failures based on survival signature," Reliability Engineering and System Safety, Elsevier, vol. 201(C).
    7. Jia, Xujie & Shen, Jingyuan & Xu, Fanqi & Ma, Ruihong & Song, Xueying, 2019. "Modular decomposition signature for systems with sequential failure effect," Reliability Engineering and System Safety, Elsevier, vol. 189(C), pages 435-444.
    8. Sadiya & Mangey Ram & Akshay Kumar, 2022. "A New Approach to Compute System Reliability with Three-Serially Linked Modules," Mathematics, MDPI, vol. 11(1), pages 1-18, December.
    9. Rychlik, Tomasz, 2017. "Evaluations of quantiles of system lifetime distributions," European Journal of Operational Research, Elsevier, vol. 256(3), pages 935-944.
    10. Huang, Xianzhen & Coolen, Frank P.A. & Coolen-Maturi, Tahani, 2019. "A heuristic survival signature based approach for reliability-redundancy allocation," Reliability Engineering and System Safety, Elsevier, vol. 185(C), pages 511-517.
    11. Qin, Jinlei & Coolen, Frank P.A., 2022. "Survival signature for reliability evaluation of a multi-state system with multi-state components," Reliability Engineering and System Safety, Elsevier, vol. 218(PA).
    12. Coolen, Frank P.A. & Coolen-Maturi, Tahani, 2016. "The structure function for system reliability as predictive (imprecise) probability," Reliability Engineering and System Safety, Elsevier, vol. 154(C), pages 180-187.
    13. He Yi & Lirong Cui, 2018. "A new computation method for signature: Markov process method," Naval Research Logistics (NRL), John Wiley & Sons, vol. 65(5), pages 410-426, August.
    14. Hashemi, M. & Asadi, M. & Zarezadeh, S., 2020. "Optimal maintenance policies for coherent systems with multi-type components," Reliability Engineering and System Safety, Elsevier, vol. 195(C).
    15. Ling, Chunyan & Yang, Lechang & Feng, Kaixuan & Kuo, Way, 2023. "Survival signature based robust redundancy allocation under imprecise probability," Reliability Engineering and System Safety, Elsevier, vol. 239(C).
    16. Yang, Bofan & Zhang, Lin & Zhang, Bo & Xiang, Yang & An, Lei & Wang, Wenfeng, 2022. "Complex equipment system resilience: Composition, measurement and element analysis," Reliability Engineering and System Safety, Elsevier, vol. 228(C).
    17. Gaofeng Da & Lvyu Xia & Taizhong Hu, 2014. "On Computing Signatures of k-out-of-n Systems Consisting of Modules," Methodology and Computing in Applied Probability, Springer, vol. 16(1), pages 223-233, March.
    18. Zarezadeh, S. & Mohammadi, L. & Balakrishnan, N., 2018. "On the joint signature of several coherent systems with some shared components," European Journal of Operational Research, Elsevier, vol. 264(3), pages 1092-1100.
    19. Marichal, Jean-Luc & Mathonet, Pierre & Spizzichino, Fabio, 2015. "On modular decompositions of system signatures," Journal of Multivariate Analysis, Elsevier, vol. 134(C), pages 19-32.
    20. Zaitseva, Elena & Levashenko, Vitaly & Kostolny, Jozef, 2015. "Importance analysis based on logical differential calculus and Binary Decision Diagram," Reliability Engineering and System Safety, Elsevier, vol. 138(C), pages 135-144.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:eee:reensy:v:165:y:2017:i:c:p:257-267. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Catherine Liu (email available below). General contact details of provider: https://www.journals.elsevier.com/reliability-engineering-and-system-safety .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.