Esta dissertação aborda a solução de modelos de rede de filas para sistemas computacionais distribuídos, através de métodos analíticos e por simulação. Dessa forma, são discutidos detalhadamente os seguintes métodos analíticos: Análise de Valor Médio (AVM), Rede de Jackson, Método de Gordon e Newell, Redes BCMP, Decomposição Hierárquica, Limites de Desempenho e Processo Nascimento-e-Morte. Esses métodos são aplicados em diversos modelos que representam elementos fundamentais de um sistema computacional distribuído. Os modelos considerados abrangem elementos de um sistema computacional distribuído, incluindo servidores de arquivos, rede de comunicação e estações de trabalho. Além dos métodos analíticos, considera-se também a simulação, implementados no Ambiente ASiA, que gera programas de simulação orientados a evento. Os resultados obtidos tanto analiticamente, como por simulação, são apresentados, discutidos e comparados, constatando-se uma equivalência. Esses resultados mostram que os diversos métodos analíticos estudados podem ser empregados com êxito na solução de modelos práticos da área de sistemas computacionais distribuídos.

This MSc dissertation approaches the solution of queuing network models applied to distributed computing systems by means of analytical methods and simulation. The following analytical methods are detailed discussed: Mean-Value Analysis (MVA), Jacicson's Networks, Gordon and Newell's Method, BCMP Networlcs, Hierarchical Decomposition, Asymptotic Bounds, e Birth-Death Processes. These methods are applied to several models representing fundamental elements of a distributed computing system. The models considered comprise elements of a distributed computing system including file servers, communication network and workstations. Besides analytical methods, simulation is also considered by means of the ASiA, that is an environment generating event-oriented simulation programs. The results obtained both analytically and from simulation are presented, discussed and compared, showing to be equivalent. These results show that the several analytical methods studied can be successfifily used to solve practical models in the distributed computing systems area.