115 citations · 161 across the 10 of their papers we have counts for
6 papers · 1 filter
Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4
Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan +1
Dynamic Fault Trees (DFTs) is a widely used failure modeling technique that allows capturing the dynamic failure characteristics of systems in a very effective manner. Simulation a…
Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking
Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad +1
Dynamic fault trees (DFTs) have emerged as an important tool for capturing the dynamic behavior of system failure. These DFTs are then analyzed qualitatively and quantitatively usi…
Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach
Waqar Ahmed, Osman Hasan
Fault Tree (FT) is a standard failure modeling technique that has been extensively used to predict reliability, availability and safety of many complex engineering systems. In orde…
Formal Availability Analysis using Theorem Proving
Waqar Ahmed, Osman Hasan
Availability analysis is used to assess the possible failures and their restoration process for a given system. This analysis involves the calculation of instantaneous and steady-s…
Towards Formal Fault Tree Analysis using Theorem Proving
Waqar Ahmed, Osman Hasan
Fault Tree Analysis (FTA) is a dependability analysis technique that has been widely used to predict reliability, availability and safety of many complex engineering systems. Tradi…
Towards the Formal Reliability Analysis of Oil and Gas Pipelines
Waqar Ahmed, Osman Hasan, Sofiene Tahar +1
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 hazardo…