English

CIn - Centro de Informática UFPE




Notícia

Equipe do CIn tem projeto aceito pela AEB

O grupo Métodos Formais do CIn já tinha seu trabalho apoiado pela Embraer 09 de Março de 2010 às 10:27
Uma equipe do Centro de Informática (CIn), coordenada pelo professor Alexandre Mota, teve seu projeto aceito pela Agência Espacial Brasileira (AEB). O projeto intitulado “Análise de segurança baseada em modelos para sistemas autônomos” é relativo ao estudo de confiabilidade para sistemas autônomos, um dos focos atuais do grupo de Métodos Formais do CIn. "Desde 2007 temos estudado e criado soluções para a área de safety e reliability, inclusive com apoio da equipe de P&D da Embraer", explica Mota.
 
Um dos principais objetivos do estudo é propor soluções para melhorar a confiabilidade de sistemas de forma totalmente automática, minimizando custos particularmente os associados com testes. Em 2009, a dissertação de mestrado do aluno Joabe Jesus apresentou os primeiros resultados práticos do projeto. O trabalho de Joabe impressionou a equipe da Embraer, que vem analisando a viabilidade de implantá-lo em longo prazo na empresa. 
 
Dando continuidade às pesquisas iniciadas no Mestrado de Joabe Jesus, um novo projeto relacionado com os Mestrados de Adriano Gomes e Flávia Soares foi submetido a uma análise técnica pela AEB e o mesmo foi aceito em fevereiro de 2010. “Foi uma grande conquista a aceitação deste projeto, uma vez que só institutos como ITA, UFRJ e USP tradicionalmente submetem e têm trabalhos aceitos por esta agência”, diz o coordenador da equipe.
 
Segundo Mota, tanto a Embraer quanto a Agência Espacial buscam que seus sistemas tenham um grau de confiança e qualidade igual ou maior que o atual com menor esforço. “Da mesma forma que a Embraer, empresas como Boeing, Air Bus e outras trabalham neste sentido, haja vista que muitas falhas ainda são detectadas tardiamente no desenvolvimento dos sistemas e isto custa caro para as empresas, pois elas têm que refazer boa parte do desenvolvimento”, diz o professor do CIn. Este é um dos motivos pelo qual o projeto foi aceito.
 
A pesquisa relacionada com confiabilidade de sistemas críticos também recebe apoio do Instituto Nacional para Engenharia de Software (INES), como um de seus sub-projetos.

O grupo é coordenado pelo professor do Centro Alexandre Mota e composto pelos professores Augusto Sampaio e Juliano Iyoda; pelo ex-aluno de Doutorado Adalberto Farias, pelo Mestre Joabe Jesus, pelos alunos de mestrado Adriano Gomes e Flávia Soares e pelo aluno da graduação Luis Filipe.



  • © Centro de Informática UFPE - Todos os direitos reservados
    Tel +55 81 2126.8430 - Cidade Universitária - 50740-560 - Recife/PE
Plano4 Consultoria Web