A dynamic flowgraph methodology approach based on binary decision diagrams

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    3 Citations (Scopus)

    Abstract

    The dynamic flowgraph methodology (DFM) is an approach to model and analyze the behavior of dynamic systems for reliability assessment. The methodology can be utilized to identify how certain postulated top events may occur in a system. The result is a set of prime implicants which represent system faults resulting from diverse combinations of software logic errors, hardware failures, human errors, and adverse environmental conditions. A binary decision diagram (BDD) is a data structure used to represent Boolean functions applied, e.g., in fault tree analysis and model checking. This paper presents an alternative DFM approach based on BDD called YADRAT. The objective of a YADRAT model analysis is to find the root causes of the query (top event) of interest, similarly to traditional fault tree analysis. The main difference of YADRAT compared to the existing DFM approach is that YADRAT employs a BDD to represent a DFM model. Two different approaches to solving a BDD model have been implemented for exact computation of prime implicants. These approaches have previously been applied in static failure tree analysis. In this work the ideas for prime implicant calculation are adapted to a dynamic reliability approach combined with the multi-valued logic of DFM. In this paper the basic concepts and algorithms of YADRAT and the identified strengths and limitations of the employed approach are discussed. Also a case study illustrating the usage of YADRAT and a comparison of computational effort between two BDD implementations is presented
    Original languageEnglish
    Title of host publicationProceedings of 2011 International Topical Meeting on Probabilistic Safety Assessment and Analysis, PSA 2011
    Place of PublicationLa Grange Park, Illinois, 60526 USA
    PublisherAmerican Nuclear Society ANS
    Pages267-278
    ISBN (Print)978-0-8944-8089-8
    Publication statusPublished - 2011
    MoE publication typeA4 Article in a conference publication
    EventInternational Topical Meeting on Probabilistic Safety Assessment and Analysis, PSA 2011 - Wilmington, NC, United States
    Duration: 13 Mar 201117 Mar 2011

    Conference

    ConferenceInternational Topical Meeting on Probabilistic Safety Assessment and Analysis, PSA 2011
    Abbreviated titlePSA 2011
    CountryUnited States
    CityWilmington, NC
    Period13/03/1117/03/11

    Fingerprint

    Binary decision diagrams
    Fault tree analysis
    Boolean functions
    Model checking
    Data structures
    Dynamical systems
    Hardware

    Keywords

    • reliability analysis
    • binary decision diagram
    • dynamic flowgraph methodology

    Cite this

    Björkman, K., & Karanta, I. (2011). A dynamic flowgraph methodology approach based on binary decision diagrams. In Proceedings of 2011 International Topical Meeting on Probabilistic Safety Assessment and Analysis, PSA 2011 (pp. 267-278). La Grange Park, Illinois, 60526 USA: American Nuclear Society ANS.
    Björkman, Kim ; Karanta, Ilkka. / A dynamic flowgraph methodology approach based on binary decision diagrams. Proceedings of 2011 International Topical Meeting on Probabilistic Safety Assessment and Analysis, PSA 2011. La Grange Park, Illinois, 60526 USA : American Nuclear Society ANS, 2011. pp. 267-278
    @inproceedings{47e84c21e6bc4dc29e5611aaeb410467,
    title = "A dynamic flowgraph methodology approach based on binary decision diagrams",
    abstract = "The dynamic flowgraph methodology (DFM) is an approach to model and analyze the behavior of dynamic systems for reliability assessment. The methodology can be utilized to identify how certain postulated top events may occur in a system. The result is a set of prime implicants which represent system faults resulting from diverse combinations of software logic errors, hardware failures, human errors, and adverse environmental conditions. A binary decision diagram (BDD) is a data structure used to represent Boolean functions applied, e.g., in fault tree analysis and model checking. This paper presents an alternative DFM approach based on BDD called YADRAT. The objective of a YADRAT model analysis is to find the root causes of the query (top event) of interest, similarly to traditional fault tree analysis. The main difference of YADRAT compared to the existing DFM approach is that YADRAT employs a BDD to represent a DFM model. Two different approaches to solving a BDD model have been implemented for exact computation of prime implicants. These approaches have previously been applied in static failure tree analysis. In this work the ideas for prime implicant calculation are adapted to a dynamic reliability approach combined with the multi-valued logic of DFM. In this paper the basic concepts and algorithms of YADRAT and the identified strengths and limitations of the employed approach are discussed. Also a case study illustrating the usage of YADRAT and a comparison of computational effort between two BDD implementations is presented",
    keywords = "reliability analysis, binary decision diagram, dynamic flowgraph methodology",
    author = "Kim Bj{\"o}rkman and Ilkka Karanta",
    note = "Project code: 73577",
    year = "2011",
    language = "English",
    isbn = "978-0-8944-8089-8",
    pages = "267--278",
    booktitle = "Proceedings of 2011 International Topical Meeting on Probabilistic Safety Assessment and Analysis, PSA 2011",
    publisher = "American Nuclear Society ANS",
    address = "United States",

    }

    Björkman, K & Karanta, I 2011, A dynamic flowgraph methodology approach based on binary decision diagrams. in Proceedings of 2011 International Topical Meeting on Probabilistic Safety Assessment and Analysis, PSA 2011. American Nuclear Society ANS, La Grange Park, Illinois, 60526 USA, pp. 267-278, International Topical Meeting on Probabilistic Safety Assessment and Analysis, PSA 2011, Wilmington, NC, United States, 13/03/11.

    A dynamic flowgraph methodology approach based on binary decision diagrams. / Björkman, Kim; Karanta, Ilkka.

    Proceedings of 2011 International Topical Meeting on Probabilistic Safety Assessment and Analysis, PSA 2011. La Grange Park, Illinois, 60526 USA : American Nuclear Society ANS, 2011. p. 267-278.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    TY - GEN

    T1 - A dynamic flowgraph methodology approach based on binary decision diagrams

    AU - Björkman, Kim

    AU - Karanta, Ilkka

    N1 - Project code: 73577

    PY - 2011

    Y1 - 2011

    N2 - The dynamic flowgraph methodology (DFM) is an approach to model and analyze the behavior of dynamic systems for reliability assessment. The methodology can be utilized to identify how certain postulated top events may occur in a system. The result is a set of prime implicants which represent system faults resulting from diverse combinations of software logic errors, hardware failures, human errors, and adverse environmental conditions. A binary decision diagram (BDD) is a data structure used to represent Boolean functions applied, e.g., in fault tree analysis and model checking. This paper presents an alternative DFM approach based on BDD called YADRAT. The objective of a YADRAT model analysis is to find the root causes of the query (top event) of interest, similarly to traditional fault tree analysis. The main difference of YADRAT compared to the existing DFM approach is that YADRAT employs a BDD to represent a DFM model. Two different approaches to solving a BDD model have been implemented for exact computation of prime implicants. These approaches have previously been applied in static failure tree analysis. In this work the ideas for prime implicant calculation are adapted to a dynamic reliability approach combined with the multi-valued logic of DFM. In this paper the basic concepts and algorithms of YADRAT and the identified strengths and limitations of the employed approach are discussed. Also a case study illustrating the usage of YADRAT and a comparison of computational effort between two BDD implementations is presented

    AB - The dynamic flowgraph methodology (DFM) is an approach to model and analyze the behavior of dynamic systems for reliability assessment. The methodology can be utilized to identify how certain postulated top events may occur in a system. The result is a set of prime implicants which represent system faults resulting from diverse combinations of software logic errors, hardware failures, human errors, and adverse environmental conditions. A binary decision diagram (BDD) is a data structure used to represent Boolean functions applied, e.g., in fault tree analysis and model checking. This paper presents an alternative DFM approach based on BDD called YADRAT. The objective of a YADRAT model analysis is to find the root causes of the query (top event) of interest, similarly to traditional fault tree analysis. The main difference of YADRAT compared to the existing DFM approach is that YADRAT employs a BDD to represent a DFM model. Two different approaches to solving a BDD model have been implemented for exact computation of prime implicants. These approaches have previously been applied in static failure tree analysis. In this work the ideas for prime implicant calculation are adapted to a dynamic reliability approach combined with the multi-valued logic of DFM. In this paper the basic concepts and algorithms of YADRAT and the identified strengths and limitations of the employed approach are discussed. Also a case study illustrating the usage of YADRAT and a comparison of computational effort between two BDD implementations is presented

    KW - reliability analysis

    KW - binary decision diagram

    KW - dynamic flowgraph methodology

    M3 - Conference article in proceedings

    SN - 978-0-8944-8089-8

    SP - 267

    EP - 278

    BT - Proceedings of 2011 International Topical Meeting on Probabilistic Safety Assessment and Analysis, PSA 2011

    PB - American Nuclear Society ANS

    CY - La Grange Park, Illinois, 60526 USA

    ER -

    Björkman K, Karanta I. A dynamic flowgraph methodology approach based on binary decision diagrams. In Proceedings of 2011 International Topical Meeting on Probabilistic Safety Assessment and Analysis, PSA 2011. La Grange Park, Illinois, 60526 USA: American Nuclear Society ANS. 2011. p. 267-278