Combining different binary decision diagram techniques for solving models with multiple failure states

M Pock, O Malass'e and M Walter

Journal of Risk and Reliability, 2011, vol. 225, issue 1, 18-27

Abstract: This article explains information flow diagrams (IFDs) in great detail. With these models, scenarios leading to dangerous failures as well as spurious shutdowns can be generated, taking into account several failure modes for basic components. These scenarios can be evaluated in a qualitative and quantified way. For an efficient solution different BDD-techniques were combined, mainly zero suppressed BDDs and binary expression diagrams. It is shown how these techniques were used for the model and how a large BDD is created by assembling several smaller diagrams, so that even large and complex systems can be described and evaluated in a compact and efficient way.

Keywords: safety modelling; binary decision diagrams; binary expression diagrams (search for similar items in EconPapers)
Date: 2011
References: View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
https://journals.sagepub.com/doi/10.1177/1748006XJRR284 (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:sae:risrel:v:225:y:2011:i:1:p:18-27

DOI: 10.1177/1748006XJRR284

Access Statistics for this article

More articles in Journal of Risk and Reliability
Bibliographic data for series maintained by SAGE Publications ().