DocumentCode
2176439
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
fYear
2002
fDate
2002
Firstpage
544
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on
Print_ISBN
0-7695-1101-5
Type
conf
DOI
10.1109/DSN.2002.1028975
Filename
1028975
Link To Document