Sistemas Distribuídos

Área de Pesquisa
Projeto de Redes e Segurança de Dados
Descrição

Especificação, análise e implementação de algoritmos distribuídos: tolerância a falhas, complexidade temporal e de mensagens. Estudo de propriedades de estados globais consistentes, transações atômicas e checkpointing. Cooperação, recuperação de falhas e mobilidade em sistemas de gerenciamento de workflow. Modelos de transações para o ambiente de computação móvel. Desenvolvimento de plataformas distribuídas baseadas em CORBA. Componentes em CORBA. Avaliação de desempenho de aplicações distribuídas em arquitetura de clusters de computadores. Desenvolvimento de ferramentas para monitoramento e análise de desempenho. Testes de conformidade de protocolos de comunicação: Técnicas para geração automática de testes, análise de cobertura de conjuntos de testes, arquitetura distribuída e técnicas de análise de resultados. Testes de componentes (testes em contexto).