论文信息 - Reliability and Performability Modeling Using SHARPE 2000

Reliability and Performability Modeling Using SHARPE 2000

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.

Kishor S. Trivedi | Christophe Hirel | Xinyu Zang | Robin A. Sahner

[1] Kishor S. Trivedi,et al. An improved algorithm for symbolic reliability analysis , 1991 .

[2] Kishor S. Trivedi,et al. Performance and Reliability Analysis of Computer Systems , 1996, Springer US.

[3] Robin A. Sahner. A hybrid, combinatorial-Markov method of solving performance and reliability models , 1986 .

[4] Kishor S. Trivedi,et al. Performance And Reliability Analysis Of Computer Systems (an Example-based Approach Using The Sharpe Software , 1997, IEEE Transactions on Reliability.

[5] Kishor S. Trivedi,et al. Numerical Transient Solution of Finite Markovian Queueing Systems , 1992 .

[6] Kishor S. Trivedi,et al. Accelerating Mean Time to Failure Computations , 1996, Perform. Evaluation.

[7] Kishor S. Trivedi,et al. A BDD-based algorithm for reliability analysis of phased-mission systems , 1999 .

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

[9] Kishor S. Trivedi,et al. An improved algorithm for coherent-system reliability , 1998 .