Dynamic fault tree (DFT) is designed to conduct risk assessment studies of complex
systems. With the development of intelligent and network technology, risk assessment …

This paper presents a new state-space generation approach for dynamic fault trees (DFTs)
that exploits several successful reduction techniques from the field of model checking. The …

This paper considers the design-phase safety analysis of vehicle guidance systems. The
proposed approach constructs dynamic fault trees (DFTs) to model a variety of safety …

Mastering the complexity of safety assurance for modern, software-intensive systems is
challenging in several domains, such as automotive, robotics, and avionics. Model-based …

Cyber security is of great concern to the Department of Homeland Security (DHS) and other
organizations within government, as cyberspace is the gateway to services and …

Fault trees (FT) are a popular industrial method for reliability engineering, for which Monte
Carlo simulation is an important technique to estimate common dependability metrics, such …

Reliability engineering of railway infrastructure aims to understand failure processes and to
improve the efficiency and effectiveness of investments and maintenance planning such that …

Dynamic fault tree (DFT) is a top-down deductive technique extended to model systems with
complex failure behaviors and interactions. In two last decades, different methods have …

Abstract Analysis of complex failure scenarios and mitigation procedures of an industrial
plant is one of the most important activity for the safety of the factory, the personnel and the …

Dynamic fault trees (DFTs) with spare gates have been used extensively in reliability
analysis. The traditional approach to DFTs is Markov-based that may suffer from problems …