Availability and Reliability Modeling for Computer Systems

This publication has 26 references indexed in Scilit:

• Fault injection for dependability validation of fault-tolerant computing systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Performability analysis using semi-Markov reward processes
  IEEE Transactions on Computers, 1990
• Coverage modeling for dependability analysis of fault-tolerant systems
  IEEE Transactions on Computers, 1989
• Reliability analysis of interconnection networks using hierarchical composition
  IEEE Transactions on Reliability, 1989
• Sensitivity analysis of reliability and performability measures for multiprocessor systems
  Published by Association for Computing Machinery (ACM) ,1988
• Analysis of Typical Fault-Tolerant Architectures using HARP
  IEEE Transactions on Reliability, 1987
• An Aggregation Technique for the Transient Analysis of Stiff Markov Chains
  IEEE Transactions on Computers, 1986
• The hybrid automated reliability predictor
  Journal of Guidance, Control, and Dynamics, 1986
• Ultrahigh Reliability Prediction for Fault-Tolerant Computer Systems
  IEEE Transactions on Computers, 1983
• A use of complex probabilities in the theory of stochastic processes
  Mathematical Proceedings of the Cambridge Philosophical Society, 1955