Tendo em vista a crescente dependência da sociedade no uso de recursos computacionais embarcados nos mais diversos sistemas e equipamentos (automóveis, telefones celulares, instrumentos biomédicos), há uma necessidade crescente de formação de pessoal em linhas de pesquisa visando ao projeto e integração de sistemas complexos. O grupo busca modelar e realizar automaticamente o projeto de sistemas computacionais embarcados, constituídos de combinações de componentes de hardware e software. Em especial, o trabalho é bastante focado em tecnologias e aplicações que tenham forte possibilidade de apropriação por empresas nacionais, combinado com a produção de trabalhos científicos com impacto internacional. Os tópicos de pesquisa cobrem a arquitetura de processadores dedicados e de sistemas multiprocessadores, 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.
