Formal reliability analysis of oil and gas pipelines
Waqar Ahmad,
Osman Hasan,
Sofiène Tahar and
Mohamed Salah Hamdi
Journal of Risk and Reliability, 2018, vol. 232, issue 3, 320-334
Abstract:
Depending on the operational environment, installation location, and aging of oil and gas pipelines, they are subject to various degradation mechanisms, such as cracking, corrosion, leaking, and thinning of the pipeline walls. Failure of oil and gas pipelines due to these degradation mechanisms can lead to catastrophic events, which, in the worst case, may result in the loss of human lives and huge financial losses. Traditionally, paper-and-pencil proof methods and Monte Carlo based computer simulations are used in the reliability analysis of oil and gas pipelines to identify potential threats and thus avoid unwanted failures. However, paper-and-pencil proof methods are prone to human error, especially when dealing with large systems, while simulation techniques primarily involve sampling-based methods, i.e., not all possible scenarios of the given systems are tested, which compromises the accuracy of the results. As an accurate alternative, we propose to use a higher-order-logic theorem proving for the reliability analysis of oil and gas pipelines. In particular, this paper presents the higher-order-logic formalization of commonly used reliability block diagrams (RBDs), such as series, parallel, series–parallel, and k -out-of- n , and provides an approach to utilize these formalized RBDs to assess the reliability of oil and gas pipelines. For illustration, we present a formal reliability analysis of a pipeline transportation subsystem used between the oil terminals at the Port of Gdynia, Poland, and Dębogórze.
Keywords: Reliability block diagrams (RBDs); higher-order-logic theorem proving; probability theory; oil and gas pipelines (search for similar items in EconPapers)
Date: 2018
References: View references in EconPapers View complete reference list from CitEc
Citations:
Downloads: (external link)
https://journals.sagepub.com/doi/10.1177/1748006X17694494 (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:232:y:2018:i:3:p:320-334
DOI: 10.1177/1748006X17694494
Access Statistics for this article
More articles in Journal of Risk and Reliability
Bibliographic data for series maintained by SAGE Publications ().