We describe the notion of stability of coherent systems as a framework to deal with redundancy. We define stable coherent systems and show how this notion can help the design of reliable systems. We demonstrate that the reliability of stable systems can be efficiently computed using the algebraic versions of improved inclusion-exclusion formulas and sum of disjoint products.
