Modelagem, Verificação Formal, Metodologias e Ferramentas para Desenvolvimento de Sistemas Embarcados
Este projeto visa elevar o nível de conhecimento, competência e qualidade no desenvolvimento de sistemas embarcados, tanto na inovação tecnológica de produto e de processo, quanto na formação de pessoal qualificado, em nível de graduação, mestrado, doutorado e outros profissionais. Este projeto vai atuar mais fortemente nas linhas de pesquisa relacionadas com o desenvolvimento de sistemas embarcados com alto grau de complexidade e de natureza crítica. Diversos desafios deverão ser superados, como por exemplo, lidar com severas restrições (consumo de energia, memória, poder de processamento, etc), sensoriamento, protocolos de comunicação, tratando questões importantes como geração automática de código, integração de sistemas, testes e verificação, modelagem e verificação formal, metodologias de desenvolvimento e segurança. Espera-se obter os seguintes resultados: (1) gerar diversas ferramentas de apoio ao projetista para desenvolvimento de aplicativos com restrições temporais, estimativa de consumo de energia, restrições de consumo de energia e verificação e testes de programas; (2) integrar todas as ferramentas anteriores; (3) aplicar todas essas ferramentas em estudos de caso práticos do mundo real; (4) formar mão de obra qualificada em SE; (5) publicar nas principais conferências e revistas nacionais e internacionais da área de SE; (6) transferir tecnologias da universidade para possíveis empresas interessadas na melhoria qualidade de software de SE com restrições temporais, de energia ou de segurança; e (7) melhorar a contínua atuação do grupo de pesquisa em SE na UFAM..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (4) .
Integrantes: Raimundo da Silva Barreto - Coordenador / Eduardo Valentin - Integrante / Herbert Oliveira Rocha - Integrante / Daniella Rodrigues Bezerra - Integrante / Marcos André Fernandes Spósito - Integrante / Gabriel Leitão - Integrante.
Financiador(es): Fundação de Amparo a Pesquisa do Estado do Amazonas - Auxílio financeiro.
Número de produções C, T & A: 5 / Número de orientações: 3
2014 - 2017