Scipediacontent: Scipediacontent moved page Draft Content 163610995 to Tahar et al 2014a

2021-01-21T13:21:24Z

Scipediacontent moved page Draft Content 163610995 to Tahar et al 2014a

Scipediacontent: Created page with " == Abstract == It is customary to assess the reliability of underground oil and gas pipelines in the presence of excessive loading and corrosion effects to ensure a leak-fre..."

2021-01-21T13:21:20Z

Created page with " == Abstract == It is customary to assess the reliability of underground oil and gas pipelines in the presence of excessive loading and corrosion effects to ensure a leak-fre..."

New page

== Abstract ==

It is customary to assess the reliability of underground oil and gas pipelines in the presence of excessive loading and corrosion effects to ensure a leak-free transport of hazardous materials. The main idea behind this reliability analysis is to model the given pipeline system as a Reliability Block Diagram (RBD) of segments such that the reliability of an individual pipeline segment can be represented by a random variable. Traditionally, computer simulation is used to perform this reliability analysis but it provides approximate results and requires an enormous amount of CPU time for attaining reasonable estimates. Due to its approximate nature, simulation is not very suitable for analyzing safety-critical systems like oil and gas pipelines, where even minor analysis flaws may result in catastrophic consequences. As an accurate alternative, we propose to use a higher-order-logic theorem prover (HOL) for the reliability analysis of pipelines. As a first step towards this idea, this paper provides a higher-order-logic formalization of reliability and the series RBD using the HOL theorem prover. For illustration, we present the formal analysis of a simple pipeline that can be modeled as a series RBD of segments with exponentially distributed failure times.

== Original document ==

The different versions of the original document can be found in:

* [http://arxiv.org/abs/1405.6985 http://arxiv.org/abs/1405.6985]

* [http://arxiv.org/pdf/1405.6985 http://arxiv.org/pdf/1405.6985]

* [http://dx.doi.org/10.1007/978-3-319-08434-3_4 http://dx.doi.org/10.1007/978-3-319-08434-3_4]

* [http://link.springer.com/content/pdf/10.1007/978-3-319-08434-3_4 http://link.springer.com/content/pdf/10.1007/978-3-319-08434-3_4],
: [http://dx.doi.org/10.1007/978-3-319-08434-3_4 http://dx.doi.org/10.1007/978-3-319-08434-3_4] under the license http://www.springer.com/tdm

* [https://dblp.uni-trier.de/db/journals/corr/corr1405.html#AhmedHTH14 https://dblp.uni-trier.de/db/journals/corr/corr1405.html#AhmedHTH14],
: [https://link.springer.com/chapter/10.1007/978-3-319-08434-3_4 https://link.springer.com/chapter/10.1007/978-3-319-08434-3_4],
: [http://hvg.ece.concordia.ca/Publications/Conferences/CICM14-3.pdf http://hvg.ece.concordia.ca/Publications/Conferences/CICM14-3.pdf],
: [https://core.ac.uk/display/25029976 https://core.ac.uk/display/25029976],
: [https://ui.adsabs.harvard.edu/abs/2014arXiv1405.6985A/abstract https://ui.adsabs.harvard.edu/abs/2014arXiv1405.6985A/abstract],
: [https://arxiv.org/abs/1405.6985 https://arxiv.org/abs/1405.6985],
: [https://arxiv.org/pdf/1405.6985 https://arxiv.org/pdf/1405.6985],
: [https://rd.springer.com/chapter/10.1007/978-3-319-08434-3_4 https://rd.springer.com/chapter/10.1007/978-3-319-08434-3_4],
: [https://academic.microsoft.com/#/detail/80953181 https://academic.microsoft.com/#/detail/80953181]

← Older revision	Revision as of 13:21, 21 January 2021
(No difference)

Tahar et al 2014a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 163610995 to Tahar et al 2014a

Scipediacontent: Created page with " == Abstract == It is customary to assess the reliability of underground oil and gas pipelines in the presence of excessive loading and corrosion effects to ensure a leak-fre..."