SHARPE, (Symbolic Hierarchical Automated Reliability and Performance Evaluator) is a tool for specifying and analyzing performance, reliability and performability models. It has been installed at over 250 sites. It is a toolkit that provides a specification language and solution methods for most of the commonly used model types for performance, reliability and performability modeling. Model types include combinatorial one such as fault-trees and queuing networks and state-space ones such as Markov and semi-Markov reward models as well stochastic Petri nets. Steady-state, transient and interval measures can be computed. Output measures of a model can be used as parameters of other models. This facilitates the hierarchical combination of different model types.
To increase the usability of this modeling tool, a graphical user interface (GUI) for SHARPE has been implemented. The SHARPE GUI implements eight interchangeable modeling description techniques for reliability engineering: fault trees, Markov chains, reliability block diagrams, reliability graphs, generalized stochastic Petri nets, product queuing networks, multi-chain product form queuing networks and task graphs. future, all the modeling description techniques contained in SHARPE will be available in the GUI (phase mission, multi-components fault trees, semi-Markov chains). The hierarchy feature is also implemented in the GUI. Java is the language chosed for GUI implementation.