O grupo MODELING, EVALUATION, AND FAULT INJECTION OF DISTRIBUTED SYSTEMS tem o objetivo de avaliar e modelar o desempenho e dependabilidade de sistemas distribuídos. Assim, os formalismos matemáticos como diagramas de blocos de confiabilidade, redes de Petri estocásticas, árvore de falhas e cadeias de Markov são adotados para avaliação e modelagem de dependabildade de sistemas distribuídos e a injeção de falhas é adotada para avaliação de dependabilidade de sistemas distribuídos. Os formalismos matemáticos redes de Petri estocásticas e cadeias de Markov também podem avaliar o desempenho de sistemas distribuídos.
dgp.cnpq.br/dgp/espelhogrupo/748455
Erica Teixeira Gomes de Sousa