IDEAS home Printed from https://ideas.repec.org/a/sae/risrel/v232y2018i3p320-334.html
   My bibliography  Save this article

Formal reliability analysis of oil and gas pipelines

Author

Listed:
  • Waqar Ahmad
  • Osman Hasan
  • Sofiène Tahar
  • Mohamed Salah Hamdi

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.

Suggested Citation

  • Waqar Ahmad & Osman Hasan & Sofiène Tahar & Mohamed Salah Hamdi, 2018. "Formal reliability analysis of oil and gas pipelines," Journal of Risk and Reliability, , vol. 232(3), pages 320-334, June.
  • Handle: RePEc:sae:risrel:v:232:y:2018:i:3:p:320-334
    DOI: 10.1177/1748006X17694494
    as

    Download full text from publisher

    File URL: https://journals.sagepub.com/doi/10.1177/1748006X17694494
    Download Restriction: no

    File URL: https://libkey.io/10.1177/1748006X17694494?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    References listed on IDEAS

    as
    1. Signoret, Jean-Pierre & Dutuit, Yves & Cacheux, Pierre-Joseph & Folleau, Cyrille & Collas, Stéphane & Thomas, Philippe, 2013. "Make your Petri nets understandable: Reliability block diagrams driven Petri nets," Reliability Engineering and System Safety, Elsevier, vol. 113(C), pages 61-75.
    2. Herbert, L.T. & Hansen, Z.N.L., 2016. "Restructuring of workflows to minimise errors via stochastic model checking: An automated evolutionary approach," Reliability Engineering and System Safety, Elsevier, vol. 145(C), pages 351-365.
    3. Lu, Yu & Peng, Zhaoguang & Miller, Alice A. & Zhao, Tingdi & Johnson, Christopher W., 2015. "How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification," Reliability Engineering and System Safety, Elsevier, vol. 144(C), pages 95-116.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Jung, Seunghwa & Choi, Jihwan P., 2019. "Predicting system failure rates of SRAM-based FPGA on-board processors in space radiation environments," Reliability Engineering and System Safety, Elsevier, vol. 183(C), pages 374-386.
    2. Yu, Shui & Wang, Zhonglai & Zhang, Kewang, 2018. "Sequential time-dependent reliability analysis for the lower extremity exoskeleton under uncertainty," Reliability Engineering and System Safety, Elsevier, vol. 170(C), pages 45-52.
    3. Penttinen, Jussi-Pekka & Niemi, Arto & Gutleber, Johannes & Koskinen, Kari T. & Coatanéa, Eric & Laitinen, Jouko, 2019. "An open modelling approach for availability and reliability of systems," Reliability Engineering and System Safety, Elsevier, vol. 183(C), pages 387-399.
    4. Meng, Huixing & Kloul, Leïla & Rauzy, Antoine, 2018. "Modeling patterns for reliability assessment of safety instrumented systems," Reliability Engineering and System Safety, Elsevier, vol. 180(C), pages 111-123.
    5. Bolton, Matthew L. & Molinaro, Kylie A. & Houser, Adam M., 2019. "A formal method for assessing the impact of task-based erroneous human behavior on system safety," Reliability Engineering and System Safety, Elsevier, vol. 188(C), pages 168-180.
    6. Azizpour, Hooshyar & Lundteigen, Mary Ann, 2019. "Analysis of simplification in Markov-based models for performance assessment of Safety Instrumented System," Reliability Engineering and System Safety, Elsevier, vol. 183(C), pages 252-260.
    7. Gonçalves, P. & Sobral, J. & Ferreira, L.A., 2017. "Unmanned aerial vehicle safety assessment modelling through petri Nets," Reliability Engineering and System Safety, Elsevier, vol. 167(C), pages 383-393.
    8. Juntao Zhang & Hyungju Kim & Yiliu Liu & Mary Ann Lundteigen, 2019. "Combining system-theoretic process analysis and availability assessment: A subsea case study," Journal of Risk and Reliability, , vol. 233(4), pages 520-536, August.
    9. Chemweno, Peter & Pintelon, Liliane & Muchiri, Peter Nganga & Van Horenbeek, Adriaan, 2018. "Risk assessment methodologies in maintenance decision making: A review of dependability modelling approaches," Reliability Engineering and System Safety, Elsevier, vol. 173(C), pages 64-77.
    10. Zarghami, Seyed Ashkan & Dumrak, Jantanee, 2021. "Aleatory uncertainty quantification of project resources and its application to project scheduling," Reliability Engineering and System Safety, Elsevier, vol. 211(C).
    11. Zhang, Huilong & Innal, Fares & Dufour, François & Dutuit, Yves, 2014. "Piecewise Deterministic Markov Processes based approach applied to an offshore oil production system," Reliability Engineering and System Safety, Elsevier, vol. 126(C), pages 126-134.
    12. Wu, Shengnan & Zhang, Laibin & Zheng, Wenpei & Liu, Yiliu & Lundteigen, Mary Ann, 2019. "Reliability modeling of subsea SISs partial testing subject to delayed restoration," Reliability Engineering and System Safety, Elsevier, vol. 191(C).
    13. Bensaci, Chaima & Zennir, Youcef & Pomorski, Denis & Innal, Fares & Lundteigen, Mary Ann, 2023. "Collision hazard modeling and analysis in a multi-mobile robots system transportation task with STPA and SPN," Reliability Engineering and System Safety, Elsevier, vol. 234(C).
    14. Pira, Einollah & Rafe, Vahid & Nikanjam, Amin, 2019. "Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation," Reliability Engineering and System Safety, Elsevier, vol. 191(C).

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:sae:risrel:v:232:y:2018:i:3:p:320-334. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: SAGE Publications (email available below). General contact details of provider: .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.