Facebook Twitter Gplus Google Maps E-mail

New Version of Mercury Tool Available!


The version 4.7.0 of Mercury has been released.


What’s New

  • Main features are related to bug fixes and improvement of usability of some tools.
Description of main improvements:
  • Usability improvements of some tools;
  • Scripting language updates;
  • Fault Tree model editor;
  • Many bugs have been fixed.

Enjoy it, and feel free to report any bugs or wished features!

For more information and download, click


Check out the previous versions, click Here

This tool is free to use for academic purposes only.

To download the tool, you should adopt this agreement. Here with your information. Then, print, sign, scan and send it to prmm at cin dot ufpe dot br

After that, you should receive an email with your download credentials.

 Share on Facebook Share on Twitter Share on Reddit Share on LinkedIn
Comments Off on New Version of Mercury Tool Available!  comments 


Published on March 8, 2019 by in MoDCS

Welcome to the Modeling of Distributed and Concurrent Systems page maintained by Paulo Maciel.

Our main research interest is devoted to formal timing modeling and evaluation of systems. Over the last years, our group has investigated a large sort of systems that encompasses real-time and power-aware embedded systems, data center systems, outbound logistic distribution, virtual workload generation for capacity planning and reliability and availability studies on electrical generation and distribution companies
Our research interests are:

  • Capacity Planning
  • Cloud computing, mobile cloud and data centers
  • Dependability and Performance Modeling
  • Energy consumption estimation
  • Embedded/Critical/Real-Time System Modelling
  • Fault Tree/Attack Tree
  • Performance evaluation
  • Software aging and rejuvenation
  • Stochastic Petri nets
 Share on Facebook Share on Twitter Share on Reddit Share on LinkedIn
Comments Off on Welcome!  comments 
© MoDCS Research Group