This paper presents a new state space generation approach for dynamic fault trees (DFTs) together with a technique to synthesise failures rates in DFTs. Our state space generation technique aggressively exploits the DFT structure — detecting symmetries, spurious non-determinism, and don’t cares. Benchmarks show a gain of more than two orders of magnitude in terms of state space generation and a...

The paper presents an approach to safety analysis with the use of Fault Trees. The aim is to provide for more precise analysis of timing dependencies between the events of a tree. A Fault Tree is first represented formally and then converted into a time Petri net. The reachability analysis of the net provides the answer if the hazard can actually occur. The approach is illustrated by an example.

Reliability of a system is the probability that it will function as intended for the required period of time. The opposite of reliability is failure probability per unit time or over time, such as a life cycle. Following a review of existing reliability codes and approaches, comprehensive approaches to assess the reliability of offshore structures are described, including probabilistic analysis...

In this paper we present a case study of using interactive visualization of fault trees and fault tree analysis to improve understanding of the concept of fault trees and the exploration of the results of their analysis. The fault tree model is widely used by experts to analyze risks in many different fields. We believe that the current way of interacting with these fault tree models and the re...

Conclusions This study addresses the use of fault injection for explicitly removing designhnplementation faults in complex fault-tolerance algorithms & mechanisms (FTAM), viz, fault-tolerance deficiency faults. A formalism is introduced to represent the FTAM by a set of assertions. This formalism enables an execution tree to be generated, where each path from the root to a leaf of the tree is a...