結果 : software for fault tree analysis