  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.
