Provably conservative approximations to complex reliability models

Complex models can be the bases for derivation of provably conservative and optimistic reliability models that incorporate a reduced state space and fewer transitions; they accordingly possess solutions that are more cost-effective than those of the original complex models. Design space can thereby be extensively explored without incurring the expense of multiple complex model solutions. A conservative-optimistic pair of derived models produces a band that includes the solution to the complex model. Sensitivity analysis can be performed on this pair of models to determine those parameters of the original model that are most sensitive to change and therefore require further expense in obtaining tighter specifications.