Dependability evaluation using composed SAN-based reward models

This publication has 11 references indexed in Scilit:

• Performability modeling with UltraSAN
  IEEE Software, 1991
• Coverage modeling for dependability analysis of fault-tolerant systems
  IEEE Transactions on Computers, 1989
• Bounding availability of repairable computer systems
  ACM SIGMETRICS Performance Evaluation Review, 1989
• Survey of software tools for evaluating reliability, availability, and serviceability
  ACM Computing Surveys, 1988
• Stochastic high-level Petri nets and applications
  IEEE Transactions on Computers, 1988
• Analysis of Typical Fault-Tolerant Architectures using HARP
  IEEE Transactions on Reliability, 1987
• Reliability Modeling Using SHARPE
  IEEE Transactions on Reliability, 1987
• The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes
  Operations Research, 1984
• On Evaluating the Performability of Degradable Computing Systems
  IEEE Transactions on Computers, 1980
• The Concept of Coverage and Its Effect on the Reliability Model of a Repairable System
  IEEE Transactions on Computers, 1973