Discusses SHARPE, a well known package in the field of reliability and performability, used in universities as well as in companies. A modeler who is familiar with many different kinds of models, can easily choose models that best suit a particular system and the kind of measure that is needed at each stage of the design. It is also possible to use different kinds of models hierarchically for different physical or abstract levels of the system and to use different kinds of models to validate each other's results. Steady-state and transient computations are available in the tool.
['Kishor S. Trivedi']
SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator