Estudar

Estudante do ISEP atrai a atenção da Airbus
28-04-2016

Humberto Carvalho desenvolveu um projeto intitulado “Implementação de Referência de uma Arquitetura de Monitorização para Sistemas de Tempo Real de Alta Criticalidade”, no âmbito da unidade curricular de Projeto/Estágio do 3.º ano da Licenciatura em Engenharia Informática. Sob a orientação do Professor Eduardo Tovar, obteve a excelente classificação de 20 valores. Fruto do sucesso dos resultados obtidos, o trabalho atraiu, recentemente, a atenção da Airbus – multinacional líder na construção de aviões –, estando a decorrer contactos para uma eventual aplicação da arquitetura criada.

A ideia para o projeto surgiu da necessidade de se criar um sistema de monitorização para sistemas de tempo real, de forma a alcançar-se uma redução do risco de erros informáticos graves, bem como aumentar a segurança. “A informática está a apoderar-se de tudo à nossa volta, não sendo difícil encontrar exemplos que comprovem este facto. Por exemplo, as indústrias automóveis, aeronáuticas e nucleares são fortemente computorizadas. No contexto destes setores, os sistemas informáticos categorizam-se como sistemas de tempo real de alta criticalidade, a este nível uma falha pode ter consequências catastróficas”, contextualiza o estudante do Instituto Superior de Engenharia do Porto (ISEP).

A funcionalidade esperada dos sistemas críticos tem vindo a aumentar consideravelmente como no caso dos automóveis autónomos, que requerem um maior poder de computação. Assim, as “abordagens tradicionais revelam-se insuficientes, forçando a sucessivas otimizações que tornam o sistema menos previsível e mais difícil de modelar, dificultando o processo de certificação onde é provado que todos os requisitos funcionais e não funcionais são cumpridos em todas as circunstâncias que comprometem a segurança do sistema”, esclarece. Segundo Humberto Carvalho, “uma resposta para superar este problema passa por calcular cenários probabilísticos ao invés de cenários de pior caso, que são extremamente irrealistas. Contudo, por muito baixas que sejam as probabilidades, é possível um sistema falhar em raras, mas possíveis circunstâncias. Torna-se necessário verificar em tempo de execução que o sistema se comporta como previsto”.

Desta forma, o projeto foca-se, sobretudo, na área de monitorização, sendo as aplicações submetidas a uma constante verificação; caso sejam detetados desvios, estes geram relatórios e lançam contramedidas com o intuito de manter o sistema coerente. “São mais do que uma solução eficiente para detetar deficiências num sistema, são guardiões que podem reagir em tempo real”, destaca.

Atualmente, o estudante do ISEP frequenta o Mestrado em Engenharia Informática – Engenharia de Software, dedicando-se, por isso, a outros propósitos. No entanto, salienta a atualidade do seu trabalho, uma vez que está a ser usado no CISTER – Research Center in Real Time & Embedded Computing Systems. Além disso, o projeto foi apresentado este mês na conferência RTAS 2016 – Real Time and Embedded Technology and Applications Symposium –, em Viena (Áustria), evento que conta com o patrocínio do Institute of Electrical and Electronics Engineers (IEEE).