EconPapers    
Economics at your fingertips  
 

Implementing dynamic flowgraph methodology models with logic programs

Ilkka Karanta

Journal of Risk and Reliability, 2013, vol. 227, issue 3, 302-314

Abstract: The dynamic flowgraph methodology is a promising way to find the prime implicants of a top event for a dynamic system possibly containing digital subsystems. This article demonstrates how to express dynamic flowgraph methodology models as logic programs, and top events as queries to those programs, in a natural and comprehensible way. Computation of the logic program lists the prime implicants of a top event in the system. We also present and implement an algorithm for computing the probability of the top event from its prime implicants. Together, computation of prime implicants and calculation of top event probability from these constitute a complete way of finding a system’s failure probability. Logic programs, implemented in this article in the leading logic programming language Prolog, enable rapid prototyping of dynamic flowgraph methodology models. The logic programming framework introduced here could also be utilized in teaching dynamic flowgraph methodology in risk analysis courses.

Keywords: Dynamic flowgraph methodology; logic programming; Prolog; dynamic probabilistic risk analysis (search for similar items in EconPapers)
Date: 2013
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (2)

Downloads: (external link)
https://journals.sagepub.com/doi/10.1177/1748006X13484425 (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:227:y:2013:i:3:p:302-314

DOI: 10.1177/1748006X13484425

Access Statistics for this article

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

 
Page updated 2025-03-19
Handle: RePEc:sae:risrel:v:227:y:2013:i:3:p:302-314