1. A method for analyzing the fault tolerance (FT) capability of a system, the method comprising: recording, on tangible media that is accessible by a host machine, a set of calibrated FT requirements defining a functional specification for the system; using the host machine to generate an operations-level model of the system; automatically characterizing a behavior of a set of components of the system, as represented by the model, as a discrete lookup table (LUT); and using the host machine to analyze the FT capability of the system via the discrete LUT and the functional specification; wherein analyzing the FT capability of the system includes analyzing a predetermined set of logical failures and quality faults of the system.