Abstract
This paper describes a novel approach for evaluating the reliability of large fault-tolerant systems. The design hierarchy of the system is preserved during the evaluation, allowing large systems to be analyzed. Semi-Markov models are used at each level in the hierarchy, and a numerical technique is used to combine models from a given level for use at the next level. Different values of parameters, such as coverage, can then be used appropriately at any level, resulting in a much more accurate prediction of reliability. The proposed technique has been validated through comparison with analytical calculations, results from existing tools and Monte-Carlo simulation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
W. Carter and J. Abraham, “Design and evaluation tools for fault-tolerant systems,” in Proceedings of the AIAA Computers in Aerospace VI Conference, pp. 70-77, October 1987.
A. M. Johnson and M. Malek, “Survey of software tools for evaluating reliability, availability, and serviceability,” ACM Computing Surveys, vol. 20, pp. 227–269, December 1988.
R. Geist and K. Trivedi, “Reliability estimation of fault-tolerant systems: Tools and techniques,” Computer, pp. 52-61, July 1990.
W. G. Bouricius, W. C. Carter, and P. R. Schneider, “Reliability modeling techniques for self-repairing computer systems,” in Proceedings of the 12th ACM National Conference, pp. 295-309, August 1969.
J. Dugan, K. Trivedi, M. Smotherman, and R. Geist, “The hybrid automated reliability predictor,” AIAA Journal of Guidance, Control, and Dynamics, pp. 319-331, May–June 1986.
K. Trivedi, R. Geist, M. Smotherman, and J. Dugan, “Hybrid modeling of fault-tolerant systems,” Computers and Electrical Engineering, An International Journal, vol. 11, no. 2-3, pp. 87–108, 1985.
R. Sahner and K. Trivedi, “A hierarchial combinatorial-markov method for solving complex reliability models,” in Proceedings ACM/IEEE Fall Joint Computing Conference, November 1986.
A. Goyal, W. Carter, E. de Souza e Silva, S. Lavenberg, and K. Trivedi, “The system availability estimator,” in Proceedings of the 16th IEEE Fault-Tolerant Computing Symposium, pp. 84-89, July 1986.
S. Bavuso, J. Brunelle, and P. Peterson, “Care iii hands-on demonstration and tutorial,” Technical Memorandum 85811, NASA, May 1984.
S. Bavuso, P. Peterson, and D. Rose, “Care iii model overview and user’s guide,” Technical Memorandum 85810, NASA, June 1984.
Y. Ng and A. Avizienis, “A unified reliability model for fault-tolerant computers,” IEEE Transactions on Computers, vol. C-29, pp. 1002–1011, November 1980.
S. Makam and A. Avizienis, “Aries 81: A reliability and life-cycle evaluation tool for fault-tolerant systems,” in Proceedings of the IEEE 12th Fault-Tolerant Computing Symposium, pp. 267-274, June 1982.
K. Trivedi and R. Geist, “A tutorial on the care iii approach to reliability modeling,” Contractor Report 3488, NASA, December 1981.
HARP: The Hybrid Automated Reliability Predictor Introduction and User’ s Guide.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag/Wien
About this paper
Cite this paper
Abraham, J., Lee, D., Rennels, D., Gilley, G. (1992). A Numerical Technique for the Hierarchical Evaluation of Large, Closed Fault-Tolerant Systems. In: Meyer, J.F., Schlichting, R.D. (eds) Dependable Computing for Critical Applications 2. Dependable Computing and Fault-Tolerant Systems, vol 6. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9198-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-7091-9198-9_5
Publisher Name: Springer, Vienna
Print ISBN: 978-3-7091-9200-9
Online ISBN: 978-3-7091-9198-9
eBook Packages: Springer Book Archive