Startup criada a partir de projeto associado ao PRH é finalista do Programa de Inovação Desafio Sebrae-Petrobras

24/07/2020 12:42

A VERTESIS, startup criada pelo pós-doutorando do PGEAS Rodrigo Tacla Saad, é uma das 30 finalistas do Programa de Inovação Desafio Sebrae-Petrobras. A startup busca levar para mercado inovações nas áreas de verificação e testes para sistemas críticos e pode ser financiada para aprimorar a levar ao mercado uma ferramenta para automatizar os testes de lógica para Sistemas Instrumentados de Segurança. Esta ferramenta teve início no projeto de pesquisa “Validação de sistemas de controle e automação na Indústria do Petróleo e Gás utilizando métodos de teste, verificação e síntese de programas“, associado ao PRH 2.1 e desenvolvido em parceria com a Petrobras. Dentre os trabalhos desenvolvidos, as ferramentas para edição de especificações e teste automático de CLP demonstraram resultados promissores que motivaram a submissão da proposta para a edição 2020 do desafio de inovação proposto pela Petrobras.

O pós-doutorando Rodrigo Tacla Saad é ex-aluno de Engenharia de Controle e Automação da UFSC e possui doutorado em Sistemas Confiáveis e Computação de Alto Desempenho pelo INSA-Toulouse. Desde a sua graduação, Rodrigo trabalha no desenvolvimento de novos algoritmos escaláveis para realizar a verificação e testes de sistemas críticos de grande porte. Nos anos de 2018 e 2019 trabalhou no projeto “Validação de sistemas de controle e automação na Indústria do Petróleo e Gás utilizando métodos de teste, verificação e síntese de programas”, que motivaram a proposta submetida ao desafio de inovação.

Dentre as atividades realizadas neste projeto, duas ferramentas foram desenvolvidas para automatizar os testes de aceitação da Matriz Causa e Efeito para Sistemas instrumentados de Segurança (SIS), são elas: um editor para digitalizar as Matrizes Causa e Efeito (MCE) e um testador para automatizar os Testes de Aceitação da Matriz. Alinhado com as tendências de digitalização da indústria, o editor consiste em uma ferramenta de edição para digitalizar a especificação funcional de segurança no formato MCE seguindo as normas da empresa. Integrado a este editor, o projeto também desenvolveu um testador que seleciona e executa os testes de lógica para verificar que o SIS implementado está conforme a especificação documentada na MCE digitalizada. Devido à explosão combinatória associada ao número de testes possíveis, o testador utiliza um algoritmo inteligente que analisa a dependência entre as lógicas de intertravamento a fim de selecionar um conjunto de testes pertinentes, ou seja, testes capazes de encontrar erros rapidamente. Depois de selecionados, os testes são executados automaticamente no SIS seguindo a metodologia de teste caixa-preta. A eficácia da ferramenta foi validada em dois sistemas de grande porte de plataformas de produção offshore nos quais o testador realizou mais de 1500 testes em aproximadamente 8 horas.

O PRH parabeniza o pós-doutorando Rodrigo Tacla Saad, o Prof. Max Queiroz e os demais envolvidos nessa conquista. O resultado da seleção certamente servirá de motivação para que nossos alunos trilhem caminhos semelhantes e contribuam para o desenvolvimento tecnológico da indústria nacional de petróleo, gás e biocombustíveis.

Edital de Seleção de Bolsista de Pós-Doutorado

23/07/2020 13:20

 O professor Rodolfo César Costa Flesch, coordenador do Programa de Formação de Recursos Humanos para o Setor de Petróleo, Gás e Biocombustíveis (PRH-ANP) intitulado “Formação de Engenheiros em Automação, Controle e Instrumentação para Petróleo, Gás e Biocombustíveis”, torna público o presente edital para o processo seletivo simplificado de seleção de aluno(a) de pós-doutorado para participar do programa.

 O Edital com o cronograma e as informações necessárias para a inscrição está disponível no link:

Edital N.6 – Bolsista de Pós-Doutorado 2020

Edital de Seleção de Pesquisador Visitante

20/07/2020 16:37

 O professor Rodolfo César Costa Flesch, coordenador do Programa de Formação de Recursos Humanos para o Setor de Petróleo, Gás e Biocombustíveis (PRH-ANP) intitulado “Formação de Engenheiros em Automação, Controle e Instrumentação para Petróleo, Gás e Biocombustíveis”, torna público o processo seletivo simplificado de seleção de bolsista para assumir a posição de pesquisador visitante para participar do programa.

 O Edital com o cronograma e as informações necessárias para a inscrição está disponível no link:

Edital N.5 – Pesquisador Visitante 2020

Edital de Seleção de Bolsistas de Graduação

17/07/2020 17:12

 O professor Rodolfo César Costa Flesch, coordenador do Programa de Formação de Recursos Humanos para o Setor de Petróleo, Gás e Biocombustíveis (PRH-ANP) intitulado “Formação de Engenheiros em Automação, Controle e Instrumentação para Petróleo, Gás e Biocombustíveis”, torna público o presente edital para o processo seletivo simplificado de seleção de alunos(as) de graduação para participarem do programa.

 O Edital com o cronograma e as informações necessárias para a inscrição está disponível no link:

Edital N.4 – Bolsistas de Graduação 2020

1ª Retificação do Edital N.4 – Bolsistas de Graduação 2020

Resultado Processo Seletivo para Bolsista de Doutorado

14/05/2020 14:34

 O Programa de Formação de Recursos Humanos para o Setor de Petróleo, Gás e Biocombustíveis (PRH-ANP) intitulado “Formação de Engenheiros em Automação, Controle e Instrumentação para Petróleo, Gás e Biocombustíveis”, torna público o resultado do processo seletivo simplificado de seleção de bolsista de doutorado para participarem do programa.

RESULTADO

Entrevista para Seleção de Bolsista de Doutorado

11/05/2020 11:51

 A Comissão de Seleção de Mestrado do PRH convoca os candidatos abaixo relacionados para a entrevista (conforme horário), a ser realizada no dia 12/5/2020 nos horários abaixo especificados.

  • João Bernardo Aranha Ribeiro – 14 h
  • Eduardo César Cordeiro Vieira – 14:30 h

 As entrevistas ocorrerão por meio de uma reunião no aplicativo Skype (http://join.skype.com/qG5rV7TFfcki). Solicitamos que os candidatos não entrem na reunião antes de 5 min da entrevista, pois todas as entrevistas serão realizadas na mesma sala e têm duração prevista de 30 min.

Edital de Seleção de Bolsista de Doutorado

04/05/2020 22:08

 O professor Rodolfo César Costa Flesch, coordenador do Programa de Formação de Recursos Humanos para o Setor de Petróleo, Gás e Biocombustíveis (PRH-ANP) intitulado “Formação de Engenheiros em Automação, Controle e Instrumentação para Petróleo, Gás e Biocombustíveis”, torna público o presente edital para o processo seletivo simplificado de seleção de aluno(a) de doutorado para participar do programa.

 O Edital com o cronograma e as informações necessárias para a inscrição está disponível no link:

Edital – Bolsista de Doutorado 2020