There’s a tool named Sharpe, which stands for Symbolic Hierarchical Automated Reliability and Performance Evaluator, that I’m using on my research experiments. I’ts interface was developed in Java, and has a wide spread acceptation on the research field of Performance Modelling.
Sharpe is capable of modelling on a wide gamma of mathematical models, and this is a great point on the tool. It can model GSPNs, Fault Trees, Markov Chains and Reliability Block Diagrams.
In the way to bring together the community around the tool, Trivedi and his group, created a portal, The Sharpe Portal, to achieve this. A nice and clean place to see some resources around the tool. Hope it becomes the central part to learn and contribute to Sharpe.
[1] Sharpe Portal: http://sharpe.pratt.duke.edu/
[2] Trivedi’s Site: http://people.ee.duke.edu/~kst/
