Uma pesquisa desenvolvida na Universidade Federal do Rio Grande do Norte (UFRN) recebeu reconhecimento internacional dez anos após sua publicação. O artigo Statistical Model Checking of Dynamic Software Architectures foi escolhido para receber o prêmio de Artigo Mais Influente na 20ª edição da European Conference on Software Architecture (ECSA 2026), uma das principais conferências internacionais na área de Arquitetura de Software, realizada em Bolzano, na Itália, no início deste mês.

O reconhecimento da Conferência é concedido somente a trabalhos apresentados dez anos antes que tenham demonstrado influência duradoura na pesquisa e na prática de Arquitetura de Software.

Desenvolvido pelo pesquisador Everton Cavalcante, hoje docente do Departamento de Informática e Matemática Aplicada (DIMAp/UFRN), em seu doutorado em Ciência da Computação, o estudo trata de um desafio recorrente: como verificar se um sistema continua funcionando conforme o esperado quando sua própria estrutura pode sofrer mudanças durante a execução. 

Everton Cavalcante, que é docente da UFRN desde 2016 e hoje ministra disciplinas no IMD, além de integrar o Núcleo de Pesquisa e Inovação em Engenharia de Software - Software Engineering Team (SETe), compareceu pessoalmente à ECSA 2026 para receber o prêmio.

Pesquisa

A pesquisa propôs uma forma de realizar essa verificação sem precisar analisar individualmente todas as situações que poderiam ocorrer. Para isso, o trabalho utiliza várias simulações do sistema e, a partir dos resultados obtidos, aplica análise estatística para estimar se determinadas propriedades estão sendo atendidas. 

A abordagem proposta busca tornar o processo de verificação mais viável em sistemas nos quais a quantidade de possibilidades é muito grande para ser analisada uma a uma, por exemplo.
Embora investigado há vários anos, o problema de pesquisa ganhou ainda mais relevância com o tempo, especialmente devido à evolução dos sistemas de software. Atualmente, aplicações como sistemas autônomos, veículos inteligentes e plataformas que fazem uso de IA podem adaptar seu comportamento de acordo com o ambiente, modificar sua configuração durante a execução e utilizar mecanismos inteligentes para apoiar decisões.

Nesses casos, verificar apenas o comportamento inicialmente previsto pode não ser suficiente: é necessário considerar também as mudanças que acontecem enquanto o sistema está funcionando.

É nesse contexto que o trabalho mantém relação com desafios atuais da área. Tecnologias como os gêmeos digitais, por exemplo – que reproduzem virtualmente objetos, processos ou sistemas do mundo real e permitem acompanhar seu funcionamento em tempo real – utilizam representações computacionais de sistemas do mundo real que podem ser atualizadas continuamente.

Quanto mais dinâmico é o sistema, maior é o desafio de demonstrar que seu funcionamento permanece dentro do que foi esperado.

Doutorado

Desenvolvida no âmbito do Programa de Pós-graduação em Sistemas e Computação (PPgSC) da UFRN, a tese de doutorado de Everton Cavalcante foi feita em regime de cotutela entre a UFRN e a Université Bretagne Sud (UBS), na França. O pesquisador obteve o título de doutor pelas duas instituições.

Na UFRN, a orientação foi realizada pela professora Thais Batista – também do DIMAp e do Núcleo Integrador de Pesquisa e Inovação em Engenharia de Software do IMD – e, na UBS, o orientador foi o professor Flávio Oquendo, pesquisador de renome internacional da área de Arquitetura de Software e um dos fundadores da ECSA. O trabalho também contou com a participação de outros três pesquisadores franceses.