Reliability modeling: an overview for system designers

The role of reliability models in system design is examined. Methods for predicting system reliability are discussed, covering the choice of metric for analysis, creating the system reliability model, and refining the model. A case study is presented to illustrate reliability modeling.<<ETX>>

[1]  Kishor S. Trivedi,et al.  Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems , 1989, IEEE Trans. Computers.

[2]  J. H. Lala.  Advanced information processing system , 1984 .

[3]  Miroslaw Malek,et al.  Survey of software tools for evaluating reliability, availability, and serviceability , 1988, CSUR.

[4]  Andrew L. Reibman,et al.  Modeling the Effect of Reliability on Performance , 1990, SIGMETRICS.

[5]  Malathi Veeraraghavan,et al.  Bounded approximate reliability models for distributed systems , 1989, Proceedings of the Eighth Symposium on Reliable Distributed Systems.

[6]  John F. Meyer,et al.  On Evaluating the Performability of Degradable Computing Systems , 1980, IEEE Transactions on Computers.

[7]  Kishor S. Trivedi.  Probability and Statistics with Reliability, Queuing, and Computer Science Applications , 1984 .

[8]  R. J. Beynon,et al.  Computers , 1985, Comput. Appl. Biosci..

[9]  Kishor S. Trivedi,et al.  Ultrahigh Reliability Prediction for Fault-Tolerant Computer Systems , 1983, IEEE Transactions on Computers.

[10]  Jaynarayan H. Lala,et al.  Advanced Information Processing System (AIPS)-based fault tolerant avionics architecture for launch vehicles , 1990, 9th IEEE/AIAA/NASA Conference on Digital Avionics Systems.

[11]  Robert S. Swarz,et al.  The theory and practice of reliable system design , 1982 .

[12]  Kishor S. Trivedi,et al.  Sensitivity analysis of reliability and performability measures for multiprocessor systems , 1988, SIGMETRICS 1988.

[13]  Daniel P. Siewiorek,et al.  Automatic Generation of Symbolic Reliability Functions for Processor-Memory-Switch Structures , 1982, IEEE Transactions on Computers.