This page describes a tool, namely Mercury, developed to evaluate performance in an easily way. In other words, the tool provide a graphical interface in order to model the system and evaluate. In the tool, Generalized Stochastic Petri Nets (GSPN), Reliability Block Diagram (RBD) and Continuous Time Markov Chains (CTMC) have been considered in order to perform the evaluations. The Mercury software has been developed by MODCS (Modeling of Distributed and Concurrent Systems) Team.
Mercury has been conceived to support the evaluation of models and it is generic enough to allow dependability/sustainability evaluation of general systems. Mercury provides for modeling purposes Reliability Block Diagrams (RBD), stochastic Petri Nets (SPN) and Continuous Time Markov Chains (CTMC) models. Figure 1 shows the Mercury features:
The Mercury have three diferent views:(i) SPN,(ii) RBD and (iii) CTMC. Figures 1, 2 and 3 depict respectively SPN, RBD and CTMC views of the developed tool.
Currently, the manual is available only in English.
If you want a copy of Mercury tool, please, enter in contact with Prof Paulo Maciel through prmm at cin dot ufpe dot br