All Outputs (3)

Dependability Analysis Using Temporal Fault Trees and Monte Carlo Simulation (2021)
Book Chapter
Edifor, E., Gordon, N., & Walker, M. (2021). Dependability Analysis Using Temporal Fault Trees and Monte Carlo Simulation. In W. Zamojski, J. Mazurkiewicz, J. Sugier, T. Walkowiak, & J. Kacprzyk (Eds.), Theory and Engineering of Dependable Computer Systems and Networks (86-96). Cham: Springer. https://doi.org/10.1007/978-3-030-76773-0_9

The safety and reliability of high-consequence systems is an issue of utmost importance to engineers because such systems can have catastrophic effects if they fail. Fault Tree Analysis (FTA) is a well-known probabilistic technique for assessing the... Read More about Dependability Analysis Using Temporal Fault Trees and Monte Carlo Simulation.

Model-based dependability analysis : state-of-the-art, challenges and future outlook (2015)
Book Chapter
Sharvia, S., Kabir, S., Walker, M., & Papadopoulos, Y. (2015). Model-based dependability analysis : state-of-the-art, challenges and future outlook. In I. Mistrik, N. Ali, B. Tekinerdogan, R. Soley, & J. Grundy (Eds.), Software Quality Assurance: In Large Scale and Complex Software-intensive Systems (251-278). Elsevier. https://doi.org/10.1016/B978-0-12-802301-3.00012-0

Abstract: Over the past two decades, the study of model-based dependability analysis has gathered significant research interest. Different approaches have been developed to automate and address various limitations of classical dependability technique... Read More about Model-based dependability analysis : state-of-the-art, challenges and future outlook.

Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks (2014)
Book Chapter
Kabir, S., Walker, M., & Papadopoulos, Y. (2014). Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks. In Model-Based Safety and Assessment; Lecture Notes in Computer Science (96-109). Springer Verlag. https://doi.org/10.1007/978-3-319-12214-4_8

Classical combinatorial fault trees can be used to assess combinations of failures but are unable to capture sequences of faults, which are important in complex dynamic systems. A number of proposed techniques extend fault tree analysis for dynamic s... Read More about Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks.