Solving dynamic flowgraph methodology models using binary decision diagrams

    Research output: Contribution to journalArticleScientificpeer-review

    21 Citations (Scopus)

    Abstract

    Dynamic flowgraph methodology (DFM) is a computationally challenging approach to the reliability analysis of dynamic systems with feedback loops. To improve the computational efficiency of DFM modelling, we propose a new approach, based on binary decision diagrams (BDDs), to solving DFM models. The objective of DFM analysis is to identify the root causes of a postulated top event. The result is a set of prime implicants that represent system faults resulting from diverse combinations of software logic errors, hardware failures, human errors and adverse environmental conditions. Two approaches to solving prime implicants have been implemented in software called YADRAT. The first approach is based on meta-products, and the second on zero-suppressed BDDs (ZBDD). Both approaches have been used previously in fault tree analysis. In this work, the ideas of prime implicant computations are adapted to a dynamic reliability analysis approach combined with multi-valued logic. The computational efforts required for the two approaches are compared by analysing three example systems. The results of the comparison show that BDDs are applicable in DFM computation and that in particular the ZBDD-based approach can solve moderately sized DFM models in a reasonable time.
    Original languageEnglish
    Pages (from-to)206-216
    Number of pages11
    JournalReliability Engineering and System Safety
    Volume111
    DOIs
    Publication statusPublished - 2013
    MoE publication typeA1 Journal article-refereed

    Fingerprint

    Binary decision diagrams
    Reliability analysis
    Fault tree analysis
    Computational efficiency
    Dynamical systems
    Feedback
    Hardware

    Keywords

    • Binary decision diagram
    • dynamic flowgraph methodology
    • dynamic reliability analysis
    • multi-valued logic
    • prime implicant

    Cite this

    @article{a4abf28b8ee54934bc75f4d0c9a31c1c,
    title = "Solving dynamic flowgraph methodology models using binary decision diagrams",
    abstract = "Dynamic flowgraph methodology (DFM) is a computationally challenging approach to the reliability analysis of dynamic systems with feedback loops. To improve the computational efficiency of DFM modelling, we propose a new approach, based on binary decision diagrams (BDDs), to solving DFM models. The objective of DFM analysis is to identify the root causes of a postulated top event. The result is a set of prime implicants that represent system faults resulting from diverse combinations of software logic errors, hardware failures, human errors and adverse environmental conditions. Two approaches to solving prime implicants have been implemented in software called YADRAT. The first approach is based on meta-products, and the second on zero-suppressed BDDs (ZBDD). Both approaches have been used previously in fault tree analysis. In this work, the ideas of prime implicant computations are adapted to a dynamic reliability analysis approach combined with multi-valued logic. The computational efforts required for the two approaches are compared by analysing three example systems. The results of the comparison show that BDDs are applicable in DFM computation and that in particular the ZBDD-based approach can solve moderately sized DFM models in a reasonable time.",
    keywords = "Binary decision diagram, dynamic flowgraph methodology, dynamic reliability analysis, multi-valued logic, prime implicant",
    author = "Kim Bj{\"o}rkman",
    year = "2013",
    doi = "10.1016/j.ress.2012.11.009",
    language = "English",
    volume = "111",
    pages = "206--216",
    journal = "Reliability Engineering and System Safety",
    issn = "0951-8320",
    publisher = "Elsevier",

    }

    Solving dynamic flowgraph methodology models using binary decision diagrams. / Björkman, Kim.

    In: Reliability Engineering and System Safety, Vol. 111, 2013, p. 206-216.

    Research output: Contribution to journalArticleScientificpeer-review

    TY - JOUR

    T1 - Solving dynamic flowgraph methodology models using binary decision diagrams

    AU - Björkman, Kim

    PY - 2013

    Y1 - 2013

    N2 - Dynamic flowgraph methodology (DFM) is a computationally challenging approach to the reliability analysis of dynamic systems with feedback loops. To improve the computational efficiency of DFM modelling, we propose a new approach, based on binary decision diagrams (BDDs), to solving DFM models. The objective of DFM analysis is to identify the root causes of a postulated top event. The result is a set of prime implicants that represent system faults resulting from diverse combinations of software logic errors, hardware failures, human errors and adverse environmental conditions. Two approaches to solving prime implicants have been implemented in software called YADRAT. The first approach is based on meta-products, and the second on zero-suppressed BDDs (ZBDD). Both approaches have been used previously in fault tree analysis. In this work, the ideas of prime implicant computations are adapted to a dynamic reliability analysis approach combined with multi-valued logic. The computational efforts required for the two approaches are compared by analysing three example systems. The results of the comparison show that BDDs are applicable in DFM computation and that in particular the ZBDD-based approach can solve moderately sized DFM models in a reasonable time.

    AB - Dynamic flowgraph methodology (DFM) is a computationally challenging approach to the reliability analysis of dynamic systems with feedback loops. To improve the computational efficiency of DFM modelling, we propose a new approach, based on binary decision diagrams (BDDs), to solving DFM models. The objective of DFM analysis is to identify the root causes of a postulated top event. The result is a set of prime implicants that represent system faults resulting from diverse combinations of software logic errors, hardware failures, human errors and adverse environmental conditions. Two approaches to solving prime implicants have been implemented in software called YADRAT. The first approach is based on meta-products, and the second on zero-suppressed BDDs (ZBDD). Both approaches have been used previously in fault tree analysis. In this work, the ideas of prime implicant computations are adapted to a dynamic reliability analysis approach combined with multi-valued logic. The computational efforts required for the two approaches are compared by analysing three example systems. The results of the comparison show that BDDs are applicable in DFM computation and that in particular the ZBDD-based approach can solve moderately sized DFM models in a reasonable time.

    KW - Binary decision diagram

    KW - dynamic flowgraph methodology

    KW - dynamic reliability analysis

    KW - multi-valued logic

    KW - prime implicant

    U2 - 10.1016/j.ress.2012.11.009

    DO - 10.1016/j.ress.2012.11.009

    M3 - Article

    VL - 111

    SP - 206

    EP - 216

    JO - Reliability Engineering and System Safety

    JF - Reliability Engineering and System Safety

    SN - 0951-8320

    ER -