Formal reliability analysis of oil and gas pipelines
Author
Abstract
Suggested Citation
DOI: 10.1177/1748006X17694494
Download full text from publisher
References listed on IDEAS
- 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.
- 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.
- 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.
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.- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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).
- 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.
- 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).
- 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).
- 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).
More about this item
Keywords
Reliability block diagrams (RBDs); higher-order-logic theorem proving; probability theory; oil and gas pipelines;All these keywords.
Statistics
Access and download statisticsCorrections
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.