Abstract
The SHARPE package, Symbolic Hierarchical Automated Reliability and Performance Evaluator, is now 13 years old. A well known package in the field of reliability and performability, SHARPE is used in universities as well as in companies. Many important changes have been made during these years to improve the satisfaction of our users. Recently several new algorithms have been added and a Graphical User Interface has been implemented. This paper presents the current status of the tool.
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
Kishor S. Trivedi. Probability and Statistics with Reliability, Queuing, and Computer Sciences Applications. Prentice-Hall, INC., Englewwood Cliffs, New Jersey.
Gunter Bolch et al. Queueing Networks and Markov Chains Modeling and Performance Evaluation with Computer Science Applications. John Wiley and Sons, New York.
Robin A. Sahner et al. Performance and Reliability Analysis of Computer Systems. Kluwer Academic Press, 1996
R. A. Sahner. A Hybrid Combinatorial-Markov Method of Solving Performance and Reliability Models. Phd’s thesis: Dept. of Comp. Sc., Duke Univ., Dec. 1985
M. Veeraraghavan and K.S. Trivedi. An Improved Algorithm for Symbolic Reliability Analysis. IEEE Trans. on Reliability, Vol. 40, No. 3, August 1991.
J. Muppala and K.S. Trivedi. Numerical Transient Solution of Finite Markovian Queueing Systems. Queueing and Related Models, U. Bhat and I. Basawa (ed.), Oxford University Press, 1992.
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.
P. Heidelberger et al. Accelerating Mean Time to Failure Computations. Performance Evaluation, Vol. 27 & 28, October 1996, North-Holland, pp. 627–645.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hirel, C., Sahner, R., Zang, X., Trivedi, K. (2000). Reliability and Performability Modeling Using SHARPE 2000. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds) Computer Performance Evaluation.Modelling Techniques and Tools. TOOLS 2000. Lecture Notes in Computer Science, vol 1786. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46429-8_28
Download citation
DOI: https://doi.org/10.1007/3-540-46429-8_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67260-9
Online ISBN: 978-3-540-46429-7
eBook Packages: Springer Book Archive