- Bioinformática e Biologia Computacional
- Efeitos da Radiação em Sistemas de Hardware
- Computação Gráfica, Processamento de Imagens e Interação
- Concepção de Circuitos Integrados
- Ferramentas Computacionais para Projeto de Circuitos e Sistemas Integrados
- Theoretical Computer Science
- Inteligência Artificial
- Processamento Paralelo e Distribuído
- Redes de Computadores
- Robótica Inteligente e Visão Artificial
- Sistemas de Computação para E&P de Petróleo
- Sistemas Embarcados
- Telessaúde
- Tolerância a Falhas
Grupos de Pesquisa | Sistemas Embarcados
O grupo busca abordar todas as etapas de desenvolvimento de sistemas computacionais embarcados, explorando o espaço de projeto para realizar automaticamente, de maneira rápida e confiável, as diferentes camadas de hardware e software que compõem os múltiplos domínios de aplicação. Os tópicos de pesquisa cobrem a arquitetura de processadores dedicados e de sistemas multiprocessados, a geração automática do software embarcado, os sistemas operacionais embarcados de tempo real, as ferramentas de modelagem e validação de sistemas e o teste do software e do hardware.
Página do grupo no diretório do CNPq