Reliability and performability modeling using SHARPE 2000

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1786, Issue , 2000, Pages 345-349

  Hirel, C ^a   Sahner, R ^a   Zang, X ^a   Trivedi, K ^a  

^a Duke University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPHICAL USER INTERFACES; USER INTERFACES;

CURRENT STATUS; PERFORMABILITY; PERFORMABILITY MODELS; PERFORMANCE EVALUATOR;

RELIABILITY;

EID: 84958752836     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46429-8_28     Document Type: Conference Paper

References (8)

1. Kishor S. Trivedi. Probability and Statistics with Reliability, Queuing, and Computer Sciences Applications. Prentice-Hall, INC., Englewwood Cliffs, New Jersey.
2. Gunter Bolch et al. Queueing Networks and Markov Chains Modeling and Performance Evaluation with Computer Science Applications. John Wiley and Sons, New York.
3. Robin A. Sahner et al. Performance and Reliability Analysis of Computer Systems. Kluwer Academic Press, 1996
4. R. A. Sahner. A Hybrid Combinatorial-Markov Method ofSolving Performance and Reliability Models. Phd’s thesis: Dept. of Comp. Sc., Duke Univ., Dec. 1985
5. M. Veeraraghavan and K. S. Trivedi. An Improved Algorithm for Symbolic Reliability Analysis. IEEE Trans. on Reliability, Vol. 40, No. 3, August 1991.
6. J. Muppala and K. S. Trivedi. Numerical Transient Solution ofFinite Markovian Queueing Systems. Queueing and Related Models, U. Bhat and I. Basawa (ed.), Oxford University Press, 1992.
7. Hairong Sun et al. A BDD-based Algorithm for Reliability Analysis of Phased-Mission Systems. IEEE Transactions on Reliability, Vol. 48, No. 1, March 1999.
8. P. Heidelberger et al. Accelerating Mean Time to Failure Computations. Performance Evaluation, Vol. 27 & 28, October 1996, North-Holland, pp. 627-645.