Desenvolvimento de uma metodologia para realização de testes em programas de CLP na indústria de petróleo e gás

Detalhes bibliográficos
Ano de defesa: 2014
Autor(a) principal: Prati, Thiago Javaroni
Orientador(a): Farines, Jean Marie Alexandre
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Link de acesso: https://repositorio.ufsc.br/xmlui/handle/123456789/132449
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pos-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2014.
id UFSC_e60c10a8a3eeeda4ec4178bdc459a6b7
oai_identifier_str oai:repositorio.ufsc.br:123456789/132449
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str
spelling Universidade Federal de Santa CatarinaPrati, Thiago JavaroniFarines, Jean Marie AlexandreQueiroz, Max Hering de2015-04-29T21:06:28Z2015-04-29T21:06:28Z2014333082https://repositorio.ufsc.br/xmlui/handle/123456789/132449Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pos-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2014.Os programas de automação na indústria de petróleo e gás, seja o programa voltado para sistemas de segurança ou de uso geral, são projetados com base em especificações de segurança, definidas em projeto, que devem ser validados antes da implantação. Este documento propõe um método para o teste automático das especificações encontradas na Matriz Causa e Efeito e implementadas em Controladores Lógicos Programáveis (CLPs). Para esses testes, as especificações são representadas como um conjunto de modelos de rede de Petri que observam o comportamento do sistema controlado. O uso de um modelo formal permite composição de diferentes modelos de forma sistemática e a tradução das Redes de Petri em um programa que comanda as entradas de um CLP e observa quando o comportamento do CLP segue ou falha em seguir as especificações de segurança. Uma ferramenta protótipo foi desenvolvida para executar automaticamente o teste da Matriz Causa e Efeito em um dado CLP. Um projeto de um forno foi utilizado para verificar se a metodologia proposta é fácil de usar e viável.<br>Abstract : The automation programs in the oil and gas industry, be it in Safety Instrumented Systems (SIS) or in general purpose Programmable Logic Controllers (PLC), are designed based on safety specifications that must be validated prior to deployment. This paper proposes a method for the automatic test of the Cause and Efect Matrix specifications on PLC systems. For such testing, the specifications are represented as a set of Petri net models that observe the controlled system behavior. The use of a formal model allows to systematically compose and translate the Petri Nets into a program that commands the PLC inputs and observes when the PLC outputs fail the safety specifications. A prototype tool has been developed to automatically perform the test of the Cause and Efect Matrix on a given PLC. A furnace project has been used to ascertain that the proposed method is easy to use and viable.porEngenharia de sistemasIndústria petrolíferaAutomaçãoControladores programáveisRedes de petriDesenvolvimento de uma metodologia para realização de testes em programas de CLP na indústria de petróleo e gásinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINAL333082.pdfapplication/pdf11184009https://repositorio.ufsc.br/bitstream/123456789/132449/1/333082.pdf1d14dd4bf2faf84b3ce1504e466d5c43MD51123456789/1324492015-04-29 18:06:28.612oai:repositorio.ufsc.br:123456789/132449Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestsandra.sobrera@ufsc.bropendoar:23732015-04-29T21:06:28Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.fl_str_mv Desenvolvimento de uma metodologia para realização de testes em programas de CLP na indústria de petróleo e gás
title Desenvolvimento de uma metodologia para realização de testes em programas de CLP na indústria de petróleo e gás
spellingShingle Desenvolvimento de uma metodologia para realização de testes em programas de CLP na indústria de petróleo e gás
Prati, Thiago Javaroni
Engenharia de sistemas
Indústria petrolífera
Automação
Controladores programáveis
Redes de petri
title_short Desenvolvimento de uma metodologia para realização de testes em programas de CLP na indústria de petróleo e gás
title_full Desenvolvimento de uma metodologia para realização de testes em programas de CLP na indústria de petróleo e gás
title_fullStr Desenvolvimento de uma metodologia para realização de testes em programas de CLP na indústria de petróleo e gás
title_full_unstemmed Desenvolvimento de uma metodologia para realização de testes em programas de CLP na indústria de petróleo e gás
title_sort Desenvolvimento de uma metodologia para realização de testes em programas de CLP na indústria de petróleo e gás
author Prati, Thiago Javaroni
author_facet Prati, Thiago Javaroni
author_role author
dc.contributor.pt_BR.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Prati, Thiago Javaroni
dc.contributor.advisor1.fl_str_mv Farines, Jean Marie Alexandre
dc.contributor.advisor-co1.fl_str_mv Queiroz, Max Hering de
contributor_str_mv Farines, Jean Marie Alexandre
Queiroz, Max Hering de
dc.subject.classification.pt_BR.fl_str_mv Engenharia de sistemas
Indústria petrolífera
Automação
Controladores programáveis
Redes de petri
topic Engenharia de sistemas
Indústria petrolífera
Automação
Controladores programáveis
Redes de petri
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pos-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2014.
publishDate 2014
dc.date.issued.fl_str_mv 2014
dc.date.accessioned.fl_str_mv 2015-04-29T21:06:28Z
dc.date.available.fl_str_mv 2015-04-29T21:06:28Z
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/xmlui/handle/123456789/132449
dc.identifier.other.pt_BR.fl_str_mv 333082
identifier_str_mv 333082
url https://repositorio.ufsc.br/xmlui/handle/123456789/132449
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.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/132449/1/333082.pdf
bitstream.checksum.fl_str_mv 1d14dd4bf2faf84b3ce1504e466d5c43
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 sandra.sobrera@ufsc.br
_version_ 1851759212977192960

Registros relacionados