O Instituto Metrópole Digital (IMD/UFRN) sediou, ao longo desta semana, a terceira edição do hackathon voltado à aplicação de Métodos Formais na Engenharia de Software. Promovida em parceria com a empresa francesa ClearSy, a competição reuniu seis estudantes do Bacharelado em Tecnologia da Informação (BTI) e teve como objetivo incentivar o desenvolvimento de soluções para desafios da área e estimular a integração entre os participantes.

Nesta edição, o desafio envolveu o desenvolvimento de um sistema de metrô que ligaria o Natal Shopping à Reitoria da UFRN. Para isso, os participantes precisaram modelar diferentes subsistemas, como os de gerenciamento de dados, infraestrutura da via, sistema elétrico e supervisão dos trens, simulando situações encontradas em sistemas ferroviários reais.

A atividade foi direcionada aos alunos da disciplina Métodos Formais na Engenharia de Software, ministrada pelo professor Marcel Oliveira, do Departamento de Informática e Matemática Aplicada (DIMAp). O tema escolhido buscou ampliar os conhecimentos dos estudantes por meio da aplicação prática dos conceitos aprendidos em sala de aula, aproximando-os de desafios presentes no mercado de trabalho.

A escolha do sistema ferroviário também está relacionada à atuação da ClearSy, empresa especializada no desenvolvimento de sistemas críticos para esse setor e parceira na realização do hackathon.

Premiação

A cerimônia de premiação da competição aconteceu na quarta-feira, dia 15, com o estudante Artur Nobre ficando com a primeira colocação. Já Breno Jalmir ficou em segundo lugar e Paulo Sérgio em terceiro. A premiação incluiu um computador, para o primeiro colocado, e HDs externos para os demais.

Segundo o engenheiro de pesquisa da ClearSy e coordenador do desafio, Dalay Almeida, a parceria entre a empresa e o IMD fortalece a aproximação entre a universidade e o mercado, além de apresentar aos estudantes a importância da aplicação dos Métodos Formais na Engenharia de Software.

Coordenador do desafio desta edição, Dalay Almeida foi, no passado, aluno da disciplina ministrada pelo professor Marcel Oliveira. Para ele, retornar à UFRN para compartilhar sua trajetória profissional representa uma oportunidade de incentivar novos estudantes a conhecerem a área.

“É sempre um prazer voltar para a UFRN e poder mostrar um pouco da minha área, do percurso que fiz ao longo desses anos e como é interessante esse mundo”, destacou o engenheiro de pesquisa da ClearSy.