Método para teste automatizado de sistemas instrumentados de segurança em plataformas de petróleo

Detalhes bibliográficos
Autor(a) principal: Veiga, Hallan William
Data de Publicação: 2018
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/handle/123456789/192935
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2018.
id UFSC_21a89cf5df2d3854cfa3fd21f2a18ee0
oai_identifier_str oai:repositorio.ufsc.br:123456789/192935
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Universidade Federal de Santa CatarinaVeiga, Hallan WilliamQueiroz, Max Hering deFarines, Jean Marie Alexandre2019-01-11T03:01:19Z2019-01-11T03:01:19Z2018355152https://repositorio.ufsc.br/handle/123456789/192935Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2018.O Sistema Instrumentado de Segurança (SIS) é responsável pelo controle das funções de segurança na indústria de processos. Esse sistema automático conta com sensores para identificar situações de risco, um Controlador Lógico Programável (CLP) e atuadores para conduzir a planta para um estado seguro. 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 uma estratégia caixa-preta de geração de casos de teste conhecida como CEG-BOR, e ainda modelos de observadores de Redes de Petri que são o oráculo do teste. Os modelos produzem um veredito que avalia o comportamento da lógica do CLP e compara 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 Petrobras. Os resultados desse trabalho indicam que o método contribui para o diagnóstico de falhas de execução da implementação lógica complementando as práticas existentes de testes do SIS na indústria.Abstract : The Safety Instrumented System (SIS) is responsible for the control of safety functions at process industry. This system has sensors to identify hazardous situations, Programmable Logic Controller (PLC) and actuators to lead the process back to a safe state, avoiding the origin of accidents. The standards require a test aiming to identify operational failures of this system. This work presents a method for automatic conformance testing of safety specifications represented by a Cause and Effect Matrix (CEM) for PLC in charge of SIS. Test cases are automatically generated from the CEM using a black-box strategy (CEG-BOR strategy). Also, Petri nets models are generated from the CEM. These models are the oracle of the test and produce a verdict that evaluates the behavior of the PLC logic and compares with the specification. An experimental tool was developed to edit the CEM, generate the test cases and the models, perform the PLC test and also present the nonconformities encountered. The method and tool validation was performed using the PLC programs and the SIS documentation of a Petrobras oil platform. The results of this work indicate that the method contributes to the diagnosis of execution failures of the logical implementation complementing the existing SIS testing practices in the industry.95 p.| il., tabs.porEngenharia de sistemasAutomaçãoControladores programáveisPlataformas de perfuracaoMétodo para teste automatizado de sistemas instrumentados de segurança em plataformas de petróleoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINALPEAS0276-D.pdfPEAS0276-D.pdfapplication/pdf5707484https://repositorio.ufsc.br/bitstream/123456789/192935/-1/PEAS0276-D.pdfef7fbc0a079804a331a9485feffc45adMD5-1123456789/1929352019-01-11 01:01:19.936oai:repositorio.ufsc.br:123456789/192935Repositório de PublicaçõesPUBhttp://150.162.242.35/oai/requestopendoar:23732019-01-11T03:01:19Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Método para teste automatizado de sistemas instrumentados de segurança em plataformas de petróleo
title Método para teste automatizado de sistemas instrumentados de segurança em plataformas de petróleo
spellingShingle Método para teste automatizado de sistemas instrumentados de segurança em plataformas de petróleo
Veiga, Hallan William
Engenharia de sistemas
Automação
Controladores programáveis
Plataformas de perfuracao
title_short Método para teste automatizado de sistemas instrumentados de segurança em plataformas de petróleo
title_full Método para teste automatizado de sistemas instrumentados de segurança em plataformas de petróleo
title_fullStr Método para teste automatizado de sistemas instrumentados de segurança em plataformas de petróleo
title_full_unstemmed Método para teste automatizado de sistemas instrumentados de segurança em plataformas de petróleo
title_sort Método para teste automatizado de sistemas instrumentados de segurança em plataformas de petróleo
author Veiga, Hallan William
author_facet Veiga, Hallan William
author_role author
dc.contributor.none.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Veiga, Hallan William
dc.contributor.advisor1.fl_str_mv Queiroz, Max Hering de
dc.contributor.advisor-co1.fl_str_mv Farines, Jean Marie Alexandre
contributor_str_mv Queiroz, Max Hering de
Farines, Jean Marie Alexandre
dc.subject.classification.none.fl_str_mv Engenharia de sistemas
Automação
Controladores programáveis
Plataformas de perfuracao
topic Engenharia de sistemas
Automação
Controladores programáveis
Plataformas de perfuracao
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2018.
publishDate 2018
dc.date.issued.fl_str_mv 2018
dc.date.accessioned.fl_str_mv 2019-01-11T03:01:19Z
dc.date.available.fl_str_mv 2019-01-11T03:01:19Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://repositorio.ufsc.br/handle/123456789/192935
dc.identifier.other.none.fl_str_mv 355152
identifier_str_mv 355152
url https://repositorio.ufsc.br/handle/123456789/192935
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 95 p.| il., tabs.
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/192935/-1/PEAS0276-D.pdf
bitstream.checksum.fl_str_mv ef7fbc0a079804a331a9485feffc45ad
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1766805072788848640

Registros relacionados