Title :
SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator
Author :
Trivedi, Kishor S.
Author_Institution :
Dept. of Electr. & Comput. Eng., Duke Univ., Durham, NC, USA
Abstract :
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.
Keywords :
Markov processes; fault tolerant computing; performance evaluation; software packages; Markov chains; SHARPE; Symbolic Hierarchical Automated Reliability and Performance Evaluator; companies; software package; steady-state computations; transient computations; universities; Computer displays; Computer interfaces; Electric breakdown; Fault trees; Graphical user interfaces; Mathematical model; Packaging; Performance analysis; Steady-state; Time sharing computer systems;
Conference_Titel :
Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on
Print_ISBN :
0-7695-1101-5
DOI :
10.1109/DSN.2002.1028975
