Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving

Waqar Ahmed; Osman Hasan; Sofiene Tahar

doi:10.29007/6l77

Download PDF Open PDF in browser

Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving

14 pages•Published: September 27, 2016

Waqar Ahmed, Osman Hasan and Sofiene Tahar

Abstract

Logistics service supply chains (LSSCs) are composed of several nodes, with distinct behaviors, that ensure moving a product or service from a producer to consumer. Given the usage of LSSC in many safety-critical applications, such as hospitals, it is very important to ensure their reliable operation. For this purpose, many LSSC structures are modelled using Reliability Block Diagrams (RBDs) and their reliability is assessed using paper-and-pencil proofs or computer simulations. Due to their inherent incompleteness, these analysis techniques cannot ensure accurate reliability analysis results. In order to overcome this limitation, we propose to use higher-order-logic (HOL) theorem proving to conduct the RBD-based reliability analysis of LSSCs in this paper. In particular, we present the higher-order-logic formalizations of LSSNs with different and same types of capacities. As an illustrative example, we also present the formal reliability analysis of a simple three-node corporation.

Keyphrases: higher-order logic, Logistic Supply Chain, probability theory, Reliability Block Diagrams

In: Boris Konev, Stephan Schulz and Laurent Simon (editors). IWIL-2015. 11th International Workshop on the Implementation of Logics, vol 40, pages 1--14

Links:	https://easychair.org/publications/paper/Rj
	https://doi.org/10.29007/6l77

BibTeX entry

@inproceedings{IWIL-2015:Towards_Formal_Reliability_Analysis,
  author    = {Waqar Ahmed and Osman Hasan and Sofiene Tahar},
  title     = {Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving},
  booktitle = {IWIL-2015. 11th International Workshop on the Implementation of Logics},
  editor    = {Boris Konev and Stephan Schulz and Laurent Simon},
  series    = {EPiC Series in Computing},
  volume    = {40},
  pages     = {1--14},
  year      = {2016},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Rj},
  doi       = {10.29007/6l77}}

Download PDF Open PDF in browser