Descrição da Linha de Pesquisa
Na área de Sistemas embarcados, esta linha de pesquisa aborda o desenvolvimento de métodos, técnicas, ferramentas e tecnologias para os produtos de eletrônica de consumo do futuro, combinando a construção tradicional de hardware com métodos para a construção de software, procurando novas formas de integração dessas duas áreas, incluindo sistemas embarcados, de tempo-real, ciber-físicos, pervasivos e ubíquos, processamento digital de sinais, automação de sistemas, especificação e verificação formal de sistemas digitais. Na área de Engenharia de Software, esta linha atua na proposição de métodos, técnicas, ferramentas e tecnologias de apoio à qualidade de software, avaliação e melhoria de produtos e processos de software, avaliação de usabilidade, comunicabilidade e User eXperience, engenharia de requisitos, e verificação, validação e teste de software, em diferentes plataformas.
Tópicos de Pesquisa Investigados
- Arquitetura de Computadores
- Design e Avaliação de Interação
- Engenharia de Software Experimental
- Engenharia Dirigida por Modelos
- Fatores Humanos e Sociais em Engenharia de Software
- Integração de Técnicas de ES e IHC
- Learning Software Organizations
- Linguagens de Domínio Específico
- Melhoria de Processo de Software
- Projeto e Desenvolvimento de Aplicativos com Baixo Consumo de Energia
- Redes de Sensores sem Fio: Hardware, Protocolos e Aplicações
- Sistemas Embarcados e de Tempo-Real
- Sistemas Embarcados e Móveis: Projeto e Eficiência em Energia
- Usabilidade e UX (User eXperience)
- Verificação Formal Automatizada de Sistemas de Hardware e Software
- Verificação Formal Baseada nas Teorias do Módulo da Satisfatibilidade
