| Title | Reliability and performability modeling using SHARPE 2000 |
| Publication Type | Conference Paper |
| Year of Publication | 2000 |
| Authors | C Hirel, R Sahner, X Zang, and K Trivedi |
| Conference Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Date Published | 01/2000 |
| 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. |
| DOI | 10.1007/3-540-46429-8_28 |