PRH 2.1 – Formação de Engenheiros em Automação, Controle e Instrumentação para Petróleo, Gás e Biocombustíveis

A comissão de seleção para bolsistas de graduação de que trata o edital nº 4/PRH-AUTOMAÇÃO/2020 torna público o resultado do processo seletivo.

Após a primeira fase da seleção dos candidatos inscritos para as bolsas de graduação do PRH, são convidados os seguintes candidatos para realização das entrevistas nos horários especificados (todos na terça-feira, dia 11/ago).

As entrevistas terão duração de até 15 min e serão realizadas por meio do endereço: meet.google.com/tvq-pruj-ebg.

A comissão de seleção para a bolsa de estágio pós-doutoral de que trata o edital nº 6/PRH-AUTOMAÇÃO/2020 torna público o resultado do processo seletivo.

As inscrições para o processo seletivo de bolsistas de graduação do PRH 2.1 foram prorrogadas até o dia 7/8, sexta-feira. Maiores detalhes no link retificação. O edital e os procedimentos para inscrição podem ser conferidos na notícia original de lançamento do edital.

A comissão de seleção de bolsista para a posição de pesquisador visitante, de que trata o edital nº 5/PRH-AUTOMAÇÃO/2020, torna público o resultado do processo seletivo.

 A Entrevista para seleção de bolsista, para assumir a posição de pesquisador visitante do programa, será realizada na sexta-feira, dia 31 de julho de 2020, às 11 horas.

 O link para acesso à sala da entrevista é meet.google.com/upy-fmzx-msc.

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.

 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

 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

 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