Facebook Twitter Gplus Google Maps E-mail

Welcome!

Published on August 1, 2016 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:

  • Stochastic Petri nets
  • Performance evaluation
  • Dependability and Performance modeling
  • Energy consumption estimation
  • Capacity Planning
  • Software aging and rejuvenation
  • Embeded/Critical/Real-Time System Modelling
  • Cloud computing, mobile cloud and data centers
 
 Share on Facebook Share on Twitter Share on Reddit Share on LinkedIn
Comments Off  comments 

New Version of Mercury Tool Available!

Published on August 1, 2016 by in Uncategorized

mercury-symbol

The version 4.6.3 of Mercury has been released.

 

What’s New

  • Bug Fixes related to script modeling language.

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

For more information and download, click HERE.

 
 Share on Facebook Share on Twitter Share on Reddit Share on LinkedIn
Comments Off  comments