The use of Binary Decision Diagrams (BDDs) in fault tree analysis provides both an accurate and efficient means of analysing a system. There is a problem however, with the conversion process of the fault tree to the BDD. The variable ordering scheme chosen for the construction of the BDD has a crucial effect on its resulting size and previous research has failed to identify any scheme that is c...

Fault trees show which joint components' faults mean system faults. Fault trees can often be used to determine dependability parameters of systems. Here it is shown that i) binary decision diagrams (BDDs) can also be used to calculate system mean failure frequency, ii) modeling dynamics of fault trees does not always mean Markov modeling, iii) a deeper understanding of interrelations between s-...

We outline relevant characteristics of the vehicle diagnosis domain and requirements for diagnosis support. We argue that a combination of a model-based and a fault-tree approach will meet the requirements. We motivate and specify the task of automated modeling and develop a method to derive linear algebraic models of a given device. Models are derived by performing series-parallel analysis and...

We consider the tolerance of data structures to memory faults. We observe that many pointer-based data structures (e.g. linked lists, trees, etc.) are highly nonresilient to faults. A single fault in a linked list or tree may result in the loss of the entire set of data. In this paper we present a formal framework for studying the fault tolerance properties of pointer-based data structures, and...

The error that a wrong treatment plan be delivered was very serious. We vigorously explore effective method to analyze the factors which lead to this error, thus effectively improves radiotherapy quality. Fault tree analysis has been used for radiotherapy planning errors analysis in this study. After a fault tree was constructed from top to bottom then import the reliability data of basic event...

The automatic modeling of fault tree for nuclear power safety I&C configuration is designed to meet the requirements of reducing the workload and improving the traceability during the nuclear power safety I&C system reliability assessment work. To complete the fault tree automatic modeling, the Visio Automation software technology is used to analyze the topology of the nuclear power safety I&C ...

It is recognized that the usual output of a fault tree analysis in some studies is not sufficiently informative. For added value in a widely used instrument for doing risk analyses, a Markovian approach is suggested. It is shown how to extend the calculations of the standard fault tree gates, so that information is available not only on the failure probability at the top level, but also on esti...