Áreas de Interesse para orientação em Pós-Graduação
Tópicos recentes e em andamento:
- Redes sem fio ad-hoc
- Um novo algoritmo de roteamento para redes DTN
- análise utilizando simulação
- Métricas de avaliação de desempenho para algoritmos de roteamento para redes DTN
- extensão de um ambiente de simulação para DTNs
- Simulação de redes de sensores e atuadores
- extensão de um ambiente de simulação
- modelagem e análise de desempenho de algoritmos de alocação de recursos em redes de sensores e atuadores
- Roteamento tolerante a falhas em redes ad-hoc
- Modelos analíticos para modelos sintéticos de movimentação
- Sistemas distribuídos
- desenvolvimento de uma linguagem gráfica de especificação formal de sistemas distribuídos assíncronos,
baseados em trocas de mensagens - mapeamento desta linguagem para um ambiente de verificação (model checking - SPIN)
- mapeamento desta linguagem para diversos ambientes, como Java/RMI, C++/MPI
- mapeamento desta linguagem para Redes de Automatos Estocásticos
- especificação
de bibliotecas reutilizáveis de definições formais para representação
de diversas semânticas de trocas de mensagens para aplicações
distribuídas
- Sistemas tolerantes a falhas
- modelagem e análise de sistemas tolerantes a falhas
- modelagem formal de assunções de falhas (fault-assumptions)
- reengenharia de sistemas para tolerância a falhas
- técnicas para análise de mecanismos de tolerância a falhas
- Projeto Paleoprospec
- modelos estocásticos para diversas realidades interessantes ao projeto paleoprospec
Tópicos para futuras orientações.
Pretende-se dar continuidade aos temas de pesquisa acima mencionados:
- Algoritmos de roteamento para redes DTN
- Avaliação de desempenho de redes DTN
- Algoritmos de coordenação para redes de sensores e atuadores
- Extensão de técnica de análise para considerar aspectos temporais em sistemas distribuídos
- Modelagem e análise de sistemas tolerantes a falhas
- Projeto Paleoprospec