1. A fault-tolerant system comprising: system failure logic means configured to edit system failure logic representing the combinations of covered component failures that lead to system failure; and irrelevant component coverage means configured to identify irrelevant components not having an effect on said system failure logic and isolate the irrelevant components based on said system failure logic provided by said system failure logic means.