The Modeling of Distributed Concurrent System (MoDCS) group just acquired one drone Mavic Pro Platinum to perform several scientific experiments in the automation, modeling, and security field.
Book Release Paulo releases a two-volume book covering performance, reliability, and availability evaluation subjects
MoDCS at IEEE SMC 2025 in Vienna, Austria MoDCS participated in the IEEE International Conference on Systems, Man, and Cybernetics (SMC 2025), held in Vienna, Austria
Meet Mercury 6.1! New Version of Mercury Tool Available
Comments Off on Drone Mavic Pro Platinum 
Welcome!
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
Comments Off on Welcome!
