This project aims at developing methods for accurate identification of performance, reliability and availability bottlenecks, especially for designers and administrators of complex systems, such as virtualized data centers and Infrastructure as a Service (IaaS) cloud computing environments. Such an approach should employ hierarchical modeling strategy and combine specific sensitivity analysis indices for distinct models. Decision-making processes may be guided by the hierarchical analytical models and their sensitivity analysis, providing robust and precise information about the points of optimization in the analyzed system.
Performance, dependability and energy consumption evaluation, capacity planning, Petri nets and formal models, encompassing applied areas such as cloud computing, sustainable data centers, manufacturing, embedded, and communication systems.