Defesa de Dissertação de Mestrado – Hallan William Veiga – 16/02/2018
16/02/2018 17:14
| Defesa de Dissertação de Mestrado | ||
| Aluno | Hallan William Veiga | |
| Orientador
Coorientador |
Prof. Max Hering de Queiroz, Dr. – DAS/UFSC
Prof. Jean-Marie Alexandre Farines, Dr. – DAS/UFSC |
|
| Data | 16/02/2018 (sexta-feira) – 08h30
Sala PPGEAS I (piso superior) |
|
| Banca | Prof. Max Hering de Queiroz, Dr. – Presidente – DAS/UFSC;
Prof. Marcelo Lopes de Lima, Dr. – CENPES/Petrobras; Prof. Rodrigo Tacla Saad, Dr. – TREKKEN; Prof. Rômulo Silva de Oliveira, Dr. – DAS/UFSC. |
|
| Título | Método para Teste Automatizado de Sistemas Instrumentados de Segurança em Plataformas de Petróleo | |
| Resumo: O Sistema Instrumentado de Segurança (SIS) é responsável pelo controle das funções de segurança na indústria de processos. Esse sistema visa colocar a operação em um estado seguro diante de uma situação de risco, evitando a origem de acidentes ou catástrofes que trazem consequências às pessoas, ao meio ambiente e aos equipamentos da própria planta. As normas exigem testes para identificar falhas na lógica de intertravamento desse sistema. Esta dissertação apresenta um método para executar um teste automatizado do dispositivo de controle da lógica do SIS seguindo as especificações lógicas de segurança descritas na Matriz Causa e Efeito (MCE). A partir desse documento são gerados casos de teste, utilizando técnicas caixa-preta de seleção, e ainda modelos de observadores de Redes de Petri que funcionam como o oráculo do teste. Os modelos produzem um veredito que avalia o comportamento da lógica do Controlador Lógico Programável (CLP) comparando-o com a especificação. Uma ferramenta experimental foi desenvolvida para editar a MCE, gerar os casos de teste e os observadores, executar o teste do CLP e ainda apresentar as não conformidades encontradas. A validação do método e da ferramenta foi realizada utilizando os programas de CLP e a documentação do SIS de uma plataforma de petróleo da Petrobrás. | ||
