Yes / Over the years, several approaches have been developed for the quantitative analysis of dynamic fault trees (DFTs). These approaches have strong theoretical and mathematical foundations; however, they appear to suffer from the state-space explosion and high computational requirements, compromising their efficacy. Modularisation techniques have been developed to address these issues by identifying and quantifying static and dynamic modules of the fault tree separately by using binary decision diagrams and Markov models. Although these approaches appear effective in reducing computational effort and avoiding state-space explosion, the reliance of the Markov chain on exponentially distributed data of system components can limit their widespread industrial applications. In this paper, we propose a hybrid modularisation scheme where independent sub-trees of a DFT are identified and quantified in a hierarchical order. A hybrid framework with the combination of algebraic solution, Petri Nets, and Monte Carlo simulation is used to increase the efficiency of the solution. The proposed approach uses the advantages of each existing approach in the right place (independent module). We have experimented the proposed approach on five independent hypothetical and industrial examples in which the experiments show the capabilities of the proposed approach facing repeated basic events and non-exponential failure distributions. The proposed approach could provide an approximate solution to DFTs without unacceptable loss of accuracy. Moreover, the use of modularised or hierarchical Petri nets makes this approach more generally applicable by allowing quantitative evaluation of DFTs with a wide range of failure rate distributions for basic events of the tree. / This work was supported in part by the Dependability Engineering Innovation for Cyber Physical Systems (CPS) (DEIS) H2020 Project under Grant 732242, and in part by the LIVEBIO: Light-weight Verification for Synthetic Biology Project under Grant EPSRC EP/R043787/1.

Yes / Risk assessment methods have been widely used in various industries, and they play a significant role in improving the safety performance of systems. However, the outcomes of risk assessment approaches are subject to uncertainty and ambiguity due to the complexity and variability of system behaviour, scarcity of quantitative data about different system parameters, and human involvement in the analysis, operation, and decision-making processes. The implications for improving system safety are slowly being recognised; however, research on uncertainty handling during both qualitative and quantitative risk assessment procedures is a growing field. This paper presents a review of the state of the art in this field, focusing on uncertainty handling in fault tree analysis (FTA) based risk assessment. Theoretical contributions, aleatory uncertainty, epistemic uncertainty, and integration of both epistemic and aleatory uncertainty handling in the scientific and technical literature are carefully reviewed. The emphasis is on highlighting how assessors can handle uncertainty based on the available evidence as an input to FTA.

No / Reliability evaluation for ensuring the uninterrupted system operation is an integral part of dependable system development. Model-based safety analysis (MBSA) techniques such as Hierarchically Performed Hazard Origin and Propagation Studies (HiP-HOPS) have made the reliability analysis process less expensive in terms of effort and time required. HiP-HOPS uses an analytical modelling approach for Fault tree analysis to automate the reliability analysis process, where each system component is associated with its failure rate or failure probability. However, such non-state-space analysis models are not capable of modelling more complex failure behaviour of component like failure/repair dependencies, e.g., spares, shared repair, imperfect coverage, etc. State-space based paradigms like Markov chain can model complex failure behaviour, but their use can lead to state-space explosion, thus undermining the overall analysis capacity. Therefore, to maintain the benefits of MBSA while not compromising on modelling capability, in this paper, we propose a conceptual framework to incorporate complex basic events in HiP-HOPS. The idea is demonstrated via an illustrative example. / This conference paper is available to view at http://hdl.handle.net/10454/17423.

Yes / Risk assessment methods have been widely used in various industries, and they play a significant role in improving the safety performance of systems. However, the outcomes of risk assessment approaches are subject to uncertainty and ambiguity due to the complexity and variability of system behaviour, scarcity of quantitative data about different system parameters, and human involvement in the analysis, operation, and decision-making processes. The implications for improving system safety are slowly being recognised; however, research on uncertainty handling during both qualitative and quantitative risk assessment procedures is a growing field. This paper presents a review of the state of the art in this field, focusing on uncertainty handling in fault tree analysis (FTA) based risk assessment. Theoretical contributions, aleatory uncertainty, epistemic uncertainty, and integration of both epistemic and aleatory uncertainty handling in the scientific and technical literature are carefully reviewed. The emphasis is on highlighting how assessors can handle uncertainty based on the available evidence as an input to FTA.

No description available.

No / The Internet of Things (IoT) has improved our lives through various applications such as home automation, smart city monitoring, environmental monitoring, intelligent farming, and a host of others. IoT is increasingly being used for environmental monitoring to prevent fire incidents and other environmental hazards. However, for IoT systems to function effectively in preventing fire incidents, they must operate in a safe, reliable, and dependable manner. The intelligent sensors and devices that constitute the system are prone to different types of failures, which can lead to unsafe or dangerous conditions. Failure of a fire prevention system can pose significant risks to Health, Safety, and the Environment (HSE). To address these concerns, it is essential to understand how component failures can contribute to the overall system failure. This paper adopts Fault Tree Analysis, a widely used framework for failure behaviour analysis in other safety-critical domains, to qualitatively analyse an intelligent fire detection system in an industrial setting. The analysis outlines the ways in which the system can fail and the necessary prevention mechanism to guard against undesired system failure.

No / Fault management is one of the important management functions of a telecommunication network and mainly deals with fault monitoring and diagnosis. This paper applies reliability theories and methodologies for the fault management of an aeronautical communication system developed within the EU FP7 SANDRA project. The failure of the SANDRA terminal demonstrator is an undesirable event and the corresponding fault tree was built upon a reliability function analysis and was used to quickly monitor failures in the system. By using Monte Carlo simulations, the SANDRA demonstrator's reliability can be predicted and important components, which have major contributions to system failures, can be identified. The results can be used to improve the system reliability by adding parallel components in weak and important places. / Fault management is one of the important management functions of a telecommunication network and mainly deals with fault monitoring and diagnosis. This paper applies reliability theories and methodologies for the fault management of an aeronautical communication system developed within the EU FP7 SANDRA project. The failure of the SANDRA terminal demonstrator is an undesirable event and the corresponding fault tree was built upon a reliability function analysis and was used to quickly monitor failures in the system. By using Monte Carlo simulations, the SANDRA demonstrator's reliability can be predicted and important components, which have major contributions to system failures, can be identified. The results can be used to improve the system reliability by adding parallel components in weak and important places.

Yes / Critical technological systems exhibit complex dynamic characteristics such as time-dependent behavior, functional dependencies among events, sequencing and priority of causes that may alter the effects of failure. Dynamic fault trees (DFTs) have been used in the past to model the failure logic of such systems, but the quantitative analysis of DFTs has assumed the existence of precise failure data and statistical independence among events, which are unrealistic assumptions. In this paper, we propose an improved approach to reliability analysis of dynamic systems, allowing for uncertain failure data and statistical and stochastic dependencies among events. In the proposed framework, DFTs are used for dynamic failure modeling. Quantitative evaluation of DFTs is performed by converting them into generalized stochastic Petri nets. When failure data are unavailable, expert judgment and fuzzy set theory are used to obtain reasonable estimates. The approach is demonstrated on a simplified model of a cardiac assist system. / DEIS H2020 Project under Grant 732242.

Yes / Fault tree analysis (FTA) is a powerful technique that is widely used for evaluating system safety and reliability. It can be used to assess the effects of combinations of failures on system behaviour but is unable to capture sequence dependent dynamic behaviour. A number of extensions to fault trees have been proposed to overcome this limitation. Pandora, one such extension, introduces temporal gates and temporal laws to allow dynamic analysis of temporal fault trees (TFTs). It can be easily integrated in model-based design and analysis techniques. The quantitative evaluation of failure probability in Pandora TFTs is performed using exact probabilistic data about component failures. However, exact data can often be difficult to obtain. In this paper, we propose a method that combines expert elicitation and fuzzy set theory with Pandora TFTs to enable dynamic analysis of complex systems with limited or absent exact quantitative data. This gives Pandora the ability to perform quantitative analysis under uncertainty, which increases further its potential utility in the emerging field of model-based design and dependability analysis. The method has been demonstrated by applying it to a fault tolerant fuel distribution system of a ship, and the results are compared with the results obtained by other existing techniques.

Yes / Fault tree analysis is a widely used method of risk assessment in process industries. However, the classical fault tree approach has its own limitations such as the inability to deal with uncertain failure data and to consider statistical dependence among the failure events. In this paper, we propose a comprehensive framework for the risk assessment in process industries under the conditions of uncertainty and statistical dependency of events. The proposed approach makes the use of expert knowledge and fuzzy set theory for handling the uncertainty in the failure data and employs the Bayesian network modeling for capturing dependency among the events and for a robust probabilistic reasoning in the conditions of uncertainty. The effectiveness of the approach was demonstrated by performing risk assessment in an ethylene transportation line unit in an ethylene oxide (EO) production plant.