A Method for Finding Prime Implicants in Incoherent Fault Trees by Use of Commonly Available Tools for Minimal Cut Set Analysis in Coherent Fault Trees

摘要

This paper outlines a method to find the prime implicants of incoherent fault trees using a fault tree transformation and commonly available tools for the analysis of minimal cut sets of coherent fault trees, and by post processing the results.