Computational problems in automatized reliability analysis based on fault tree

The automatized reliability analysis technique based on fault tree is given. Using this technique for fault trees based on OR-gates and AND-gates structures the research are done. It is shown what stages of computational technique must be improved for problems avoiding.