Facebook Twitter Gplus Google Maps E-mail
Home Overview


This page describes the Mercury tool, developed to evaluate performance, dependability, and energy flow models in an easy and powerful way. The tool provides graphical interfaces for modeling and evaluating Stochastic Petri Nets (SPN), Reliability Block Diagrams (RBD), Energy Flow Models (EFM), Continuous Time Markov Chains (CTMC), Discrete Time Markov Chains (DTMC) and Fault Tree (FT). The Mercury software has been developed by MoDCS (Modeling of Distributed and Concurrent Systems) Group at Informatics Center (CIn) of the Federal University of Pernambuco (UFPE) in Brazil since 2009.

Mercury has been conceived to support the evaluation of performance and dependability models and it is generic enough to also allow sustainability evaluation of general systems. Mercury is also the evaluation engine for ASTRO (a front-end for data center analysis)

Figure 1 shows the Mercury features for distinct modeling formalisms. Mercury has four different views: (ii) SPN, (iii) RBD, (iv) EFM, (v) CTMC (vi) DTMC and (vii) FT. Figures 2, 3, 4, 5, 6 and 7 show respectively the SPN, RBD, EFM, CTMC, DTMC and FT views.

Figure 1. Mercury Features

SPN View
Figure 2. SPN View
RBD View
Figure 3. RBD View

EFM View
Figure 4. EFM View

Figure 5. CTMC View
Figure 6. DTMC View
FT View
Figure 7. FT View

(slides) Mercury: An Integrated Environment for Performance and Dependability Evaluation (click here)

(paper) Mercury: An Integrated Environment for Performance and Dependability Evaluation (click here)

Research papers that adopted Mercury as evaluation engine:

  1. OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems[LINK]
  2. Performance Evaluation of Medical Imaging Service [LINK]
  3. Estimating sustainability impact of high dependable data centers: a comparative study between Brazilian and US energy mixes [LINK]
  4. ASTRO: An integrated environment for dependability and sustainability evaluation [LINK]
  5. Models for dependability and sustainability analysis of data center cooling architectures [LINK]
  6. A Formal Approach to the Quantification of Sustainability and Dependability Metrics on Data Center Infrastructures [LINK]
  7. Estimating Sustainability Impact, Total Cost of Ownership and Dependability Metrics on Data Center Infrastructures [LINK
  8. Sustainability and Dependability Evaluation on Data Center Architectures [LINK]
  9. Estimating reliability importance and total cost of acquisition for data center power infrastructures [LINK]
  10. ASTRO: A Tool for Dependability Evaluation of Data Center Infrastructures [LINK]
  11. Models for Dependability Analysis of Cloud Computing Architectures for Eucalyptus Platform [LINK]
  12. An availability model for eucalyptus platform: An analysis of warm-standy replication mechanism [LINK]
  13. Dependability Evaluation of a mHealth System Using a Mobile Cloud Infrastructure [LINK]
  14. Mercury: An Integrated Environment for Performance and Dependability Evaluation [LINK]
© MoDCS Research Group