Method of Computer-Aided Fault Tree Analysis for High-Reliable and Safety Design · Study