Provably Conservative Approximations to Complex Reliability Models
- 1 April 1986
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-35 (4) , 333-338
- https://doi.org/10.1109/tc.1986.1676766
Abstract
Provably conservative (and optimistic) reliability models can be systematically derived from more complex models. These derived models incorporate a reduced state space and fewer transitions, and, therefore, have solutions that are more cost- effective than those of the original complex models. The designer can extensively explore the design space without incurring the expense of solving multiple complex models. 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 (i.e., uncertainty) and hence warrant further expense in obtaining tighter specifications.Keywords
This publication has 7 references indexed in Scilit:
- MODELING IMPERFECT COVERAGE IN FAULT-TOLERANT SYSTEMSPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- The Conservativeness of Reliability Estimates Based on Instantaneous CoverageIEEE Transactions on Computers, 1985
- Hybrid reliability modeling of fault-tolerant computer systemsComputers and Electrical Engineering, 1984
- Ultrahigh Reliability Prediction for Fault-Tolerant Computer SystemsIEEE Transactions on Computers, 1983
- FTMP—A highly reliable fault-tolerant multiprocess for aircraftProceedings of the IEEE, 1978
- SIFT: Design and analysis of a fault-tolerant computer for aircraft controlProceedings of the IEEE, 1978
- Computer-aided reliability estimationPublished by American Institute of Aeronautics and Astronautics (AIAA) ,1977