Principal

Verificação Formal e Sistemas Embarcados

Garantia de segurança e correção matemática para software crítico.

Linha

Descrição

Aplicacao de metodos formais (Model Checking) para verificar software de sistemas embarcados, drones e dispositivos medicos, prevenindo falhas catastroficas.

Aplicações

Aplicações documentadas

Algoritmos de verificacao aplicados em sistemas industriais, drones, dispositivos medicos e sistemas de transporte.

Pessoas

Docentes e pesquisadores (9)

Iury Valente de Bessa

Co-líder atual do e-Controls

Francisco de Assis Pereira Januário

Colaborador

Helder Cruz da Silva

Colaborador

Rafael da Silva Mendonça

Pesquisador Permanente

Verônica Etchebehere Santiago

Colaborador

Celso Barbosa de Carvalho

Docente da linha de pesquisa

Kenny Vinente dos Santos

Docente da linha de pesquisa

Prof. Dr. Joao Aranha

Pesquisador Permanente

Prof. Dr. Rodrigo Araujo

Pesquisador Permanente

Projetos

Projetos relacionados (2)

Em Andamento

BARN Challenge 2026 — participação do e-Controls

Atividade competitiva de robótica autônoma noticiada pelo PPGEE/UFAM; não aparece como projeto no portfólio 2021–2024.

Em Andamento

Pesquisa e Desenvolvimento de Internet das Coisas Industriais para Aplicações de Indústria 4.0

Projeto de inovação listado no portfólio PPGEE 2021–2024.

Temas

Palavras-chave

verificação formalsistemas embarcadosmétodos formais

Produção

Publicações relacionadas (2)

Event-Triggered Control for LPV Systems Under Hybrid CyberattacksMárcia L. C. Peixoto; Paulo S. P. Pessim; Pedro H. S. Coutinho; Iury Bessa; Reinaldo M. Palhares2024 • Journal of Control, Automation and Electrical Systems

Avaliação de uma Arquitetura de Microrrede CC como Solução Energética Sustentável para Comunidades Isoladas no AmazonasGabriel Rezende; Kamila de Sousa; Luiz Eduardo Sales e Silva; Renan Medeiros; Iury Bessa2025 • XVII SBAI e XI SBSE

0pesquisadores

0projetos

0publicações

Converse com o grupo

Para confirmar composição, projetos vigentes, temas de orientação, contatos e imagens, consulte a coordenação do e-Controls/PPGEE.

Ir para o PPGEE/UFAM