Metodologia de projeto de automação industrial visando a conversão automática de redes de petri interpretadas em códigos implementáveis
Autor(a) principal: | |
---|---|
Data de Publicação: | 2013 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) |
Texto Completo: | http://repositorio.utfpr.edu.br/jspui/handle/1/780 |
Resumo: | O objetivo deste trabalho é apresentar uma proposta de metodologia para o desenvolvimento de projetos de automação industrial com vistas a agregar as vantagens da utilização dos formalismos para representação dos Sistemas a Eventos Discretos com a necessidade de implementar os algoritmos utilizados em equipamentos de controle industrial. Tal metodologia propõe um conjunto de etapas para a construção do algoritmo de controle, baseando-se na Rede de Petri Interpretada utilizada para representação da planta controlada e da lógica de controle. Através desta metodologia é possível realizar o controle de um sistema de automação industrial garantindo que a lógica de controle não possua erros quando for executada. A utilização da metodologia foi exemplificada aplicado-a ao projeto de automação de dois casos práticos, onde o primeiro caso é utilizado para detalhar as etapas contidas na metodologia, já o segundo projeto prático possui uma especificação de funcionamento mais complexa, corroborando a utilização dos métodos formais para garantir a corretude lógica do processo. Buscando evidenciar a independência da metodologia frente à tecnologia utilizada para controlar tais processos, os algoritmos resultantes da execução da metodologia foram implementados em CLP e FPGA, sendo que a utilização de equipamentos de controle com características paralelas aponta uma tendência dos projetos de automação industrial. |
id |
UTFPR-12_7f5a49a0b9689583387543165910afcd |
---|---|
oai_identifier_str |
oai:repositorio.utfpr.edu.br:1/780 |
network_acronym_str |
UTFPR-12 |
network_name_str |
Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) |
repository_id_str |
|
spelling |
2014-04-07T20:41:36Z2014-04-07T20:41:36Z2013-04-08SILVA, Hugo Vinicius. Metodologia de projeto de automação industrial visando a conversão automática de redes de petri interpretadas em códigos implementáveis. 2013. 70 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná, Cornélio Procópio, 2013.http://repositorio.utfpr.edu.br/jspui/handle/1/780O objetivo deste trabalho é apresentar uma proposta de metodologia para o desenvolvimento de projetos de automação industrial com vistas a agregar as vantagens da utilização dos formalismos para representação dos Sistemas a Eventos Discretos com a necessidade de implementar os algoritmos utilizados em equipamentos de controle industrial. Tal metodologia propõe um conjunto de etapas para a construção do algoritmo de controle, baseando-se na Rede de Petri Interpretada utilizada para representação da planta controlada e da lógica de controle. Através desta metodologia é possível realizar o controle de um sistema de automação industrial garantindo que a lógica de controle não possua erros quando for executada. A utilização da metodologia foi exemplificada aplicado-a ao projeto de automação de dois casos práticos, onde o primeiro caso é utilizado para detalhar as etapas contidas na metodologia, já o segundo projeto prático possui uma especificação de funcionamento mais complexa, corroborando a utilização dos métodos formais para garantir a corretude lógica do processo. Buscando evidenciar a independência da metodologia frente à tecnologia utilizada para controlar tais processos, os algoritmos resultantes da execução da metodologia foram implementados em CLP e FPGA, sendo que a utilização de equipamentos de controle com características paralelas aponta uma tendência dos projetos de automação industrial.The objective of this work is to present a proposed methodology for the development of industrial automation projects by aggregating the advantages of using formalisms for representing Discrete Event Systems with the need to implement algorithms considered in industrial control equipment. This methodology proposes a set of steps for the construction of the control algorithm, based on Interpreted Petri Net used to represent the plant to be controlled and the control logic. Through this method it is possible to control an industrial automation system ensuring that the control logic contains no errors when executed. The use of the methodology was exemplified by automating two study cases, where the former is used to detail the steps in the methodology, and the second presents a practical function with more complex specification, corroborating the use of formal methods to ensure the correctness of the process logic. In order to demonstrate the independence of the methodology regarding to the technology used to control such processes, algorithms resulting from the application of the methodology were implemented in PLC and FPGA, and the use of control equipment with parallel features shows a trend of industrial automation projects.CAPESporUniversidade Tecnológica Federal do ParanáCornelio ProcopioPrograma de Pós-Graduação em Engenharia ElétricaSistemas não-linearesPetri, redes deNonlinear systemsPetri netsMetodologia de projeto de automação industrial visando a conversão automática de redes de petri interpretadas em códigos implementáveisinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisCornélio ProcópioMestradoVallim, Marcos Banheti RabelloSilva, Hugo Vinicius Diasreponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))instname:Universidade Tecnológica Federal do Paraná (UTFPR)instacron:UTFPRinfo:eu-repo/semantics/openAccessTHUMBNAILCP_PPGEE_M_Silva, Hugo Vinicius Dias_2013.pdf.jpgCP_PPGEE_M_Silva, Hugo Vinicius Dias_2013.pdf.jpgGenerated Thumbnailimage/jpeg1299http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/780/4/CP_PPGEE_M_Silva%2c%20Hugo%20Vinicius%20Dias_2013.pdf.jpg74eb70c682864aa5ea5ede633c526013MD54ORIGINALCP_PPGEE_M_Silva, Hugo Vinicius Dias_2013.pdfCP_PPGEE_M_Silva, Hugo Vinicius Dias_2013.pdfapplication/pdf16015634http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/780/1/CP_PPGEE_M_Silva%2c%20Hugo%20Vinicius%20Dias_2013.pdf9c36cd5fc54ccaf68ab961008dc0dfd9MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-81220http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/780/2/license.txt3cbdb04c3d289deb9dca129a3870a6e1MD52TEXTCP_PPGEE_M_Silva, Hugo Vinicius Dias_2013.pdf.txtCP_PPGEE_M_Silva, Hugo Vinicius Dias_2013.pdf.txtExtracted texttext/plain100851http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/780/3/CP_PPGEE_M_Silva%2c%20Hugo%20Vinicius%20Dias_2013.pdf.txt69df38379eae71ca53d71f82f61e8bfbMD531/7802015-03-07 03:14:12.991oai:repositorio.utfpr.edu.br:1/780ICBOYSBxdWFsaWRhZGUgZGUgdGl0dWxhciBkb3MgZGlyZWl0b3MgZGUgYXV0b3IgZGEgcHVibGljYT8/bywgYXV0b3Jpem8gYSBVVEZQUiBhIHZlaWN1bGFyLCAKYXRyYXY/cyBkbyBQb3J0YWwgZGUgSW5mb3JtYT8/byBlbSBBY2Vzc28gQWJlcnRvIChQSUFBKSBlIGRvcyBDYXQ/bG9nb3MgZGFzIEJpYmxpb3RlY2FzIApkZXN0YSBJbnN0aXR1aT8/bywgc2VtIHJlc3NhcmNpbWVudG8gZG9zIGRpcmVpdG9zIGF1dG9yYWlzLCBkZSBhY29yZG8gY29tIGEgTGVpIG5vIDkuNjEwLzk4LCAKbyB0ZXh0byBkZXN0YSBvYnJhLCBvYnNlcnZhbmRvIGFzIGNvbmRpPz9lcyBkZSBkaXNwb25pYmlsaXphPz9vIHJlZ2lzdHJhZGFzIG5vIGl0ZW0gNCBkbyAKP1Rlcm1vIGRlIEF1dG9yaXphPz9vIHBhcmEgUHVibGljYT8/byBkZSBUcmFiYWxob3MgZGUgQ29uY2x1cz9vIGRlIEN1cnNvIGRlIEdyYWR1YT8/byBlIApFc3BlY2lhbGl6YT8/bywgRGlzc2VydGE/P2VzIGUgVGVzZXMgbm8gUG9ydGFsIGRlIEluZm9ybWE/P28gZSBub3MgQ2F0P2xvZ29zIEVsZXRyP25pY29zIGRvIApTaXN0ZW1hIGRlIEJpYmxpb3RlY2FzIGRhIFVURlBSPywgcGFyYSBmaW5zIGRlIGxlaXR1cmEsIGltcHJlc3M/byBlL291IGRvd25sb2FkLCB2aXNhbmRvIGEgCmRpdnVsZ2E/P28gZGEgcHJvZHU/P28gY2llbnQ/ZmljYSBicmFzaWxlaXJhLgoKICBBcyB2aWFzIG9yaWdpbmFpcyBlIGFzc2luYWRhcyBwZWxvKHMpIGF1dG9yKGVzKSBkbyA/VGVybW8gZGUgQXV0b3JpemE/P28gcGFyYSBQdWJsaWNhPz9vIGRlIApUcmFiYWxob3MgZGUgQ29uY2x1cz9vIGRlIEN1cnNvIGRlIEdyYWR1YT8/byBlIEVzcGVjaWFsaXphPz9vLCBEaXNzZXJ0YT8/ZXMgZSBUZXNlcyBubyBQb3J0YWwgCmRlIEluZm9ybWE/P28gZSBub3MgQ2F0P2xvZ29zIEVsZXRyP25pY29zIGRvIFNpc3RlbWEgZGUgQmlibGlvdGVjYXMgZGEgVVRGUFI/IGUgZGEgP0RlY2xhcmE/P28gCmRlIEF1dG9yaWE/IGVuY29udHJhbS1zZSBhcnF1aXZhZGFzIG5hIEJpYmxpb3RlY2EgZG8gQz9tcHVzIG5vIHF1YWwgbyB0cmFiYWxobyBmb2kgZGVmZW5kaWRvLiAKTm8gY2FzbyBkZSBwdWJsaWNhPz9lcyBkZSBhdXRvcmlhIGNvbGV0aXZhIGUgbXVsdGljP21wdXMsIG9zIGRvY3VtZW50b3MgZmljYXI/byBzb2IgZ3VhcmRhIGRhIApCaWJsaW90ZWNhIGNvbSBhIHF1YWwgbyA/cHJpbWVpcm8gYXV0b3I/IHBvc3N1YSB2P25jdWxvLgo=Repositório de PublicaçõesPUBhttp://repositorio.utfpr.edu.br:8080/oai/requestopendoar:2015-03-07T06:14:12Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR)false |
dc.title.pt_BR.fl_str_mv |
Metodologia de projeto de automação industrial visando a conversão automática de redes de petri interpretadas em códigos implementáveis |
title |
Metodologia de projeto de automação industrial visando a conversão automática de redes de petri interpretadas em códigos implementáveis |
spellingShingle |
Metodologia de projeto de automação industrial visando a conversão automática de redes de petri interpretadas em códigos implementáveis Silva, Hugo Vinicius Dias Sistemas não-lineares Petri, redes de Nonlinear systems Petri nets |
title_short |
Metodologia de projeto de automação industrial visando a conversão automática de redes de petri interpretadas em códigos implementáveis |
title_full |
Metodologia de projeto de automação industrial visando a conversão automática de redes de petri interpretadas em códigos implementáveis |
title_fullStr |
Metodologia de projeto de automação industrial visando a conversão automática de redes de petri interpretadas em códigos implementáveis |
title_full_unstemmed |
Metodologia de projeto de automação industrial visando a conversão automática de redes de petri interpretadas em códigos implementáveis |
title_sort |
Metodologia de projeto de automação industrial visando a conversão automática de redes de petri interpretadas em códigos implementáveis |
author |
Silva, Hugo Vinicius Dias |
author_facet |
Silva, Hugo Vinicius Dias |
author_role |
author |
dc.contributor.advisor1.fl_str_mv |
Vallim, Marcos Banheti Rabello |
dc.contributor.author.fl_str_mv |
Silva, Hugo Vinicius Dias |
contributor_str_mv |
Vallim, Marcos Banheti Rabello |
dc.subject.por.fl_str_mv |
Sistemas não-lineares Petri, redes de Nonlinear systems Petri nets |
topic |
Sistemas não-lineares Petri, redes de Nonlinear systems Petri nets |
description |
O objetivo deste trabalho é apresentar uma proposta de metodologia para o desenvolvimento de projetos de automação industrial com vistas a agregar as vantagens da utilização dos formalismos para representação dos Sistemas a Eventos Discretos com a necessidade de implementar os algoritmos utilizados em equipamentos de controle industrial. Tal metodologia propõe um conjunto de etapas para a construção do algoritmo de controle, baseando-se na Rede de Petri Interpretada utilizada para representação da planta controlada e da lógica de controle. Através desta metodologia é possível realizar o controle de um sistema de automação industrial garantindo que a lógica de controle não possua erros quando for executada. A utilização da metodologia foi exemplificada aplicado-a ao projeto de automação de dois casos práticos, onde o primeiro caso é utilizado para detalhar as etapas contidas na metodologia, já o segundo projeto prático possui uma especificação de funcionamento mais complexa, corroborando a utilização dos métodos formais para garantir a corretude lógica do processo. Buscando evidenciar a independência da metodologia frente à tecnologia utilizada para controlar tais processos, os algoritmos resultantes da execução da metodologia foram implementados em CLP e FPGA, sendo que a utilização de equipamentos de controle com características paralelas aponta uma tendência dos projetos de automação industrial. |
publishDate |
2013 |
dc.date.issued.fl_str_mv |
2013-04-08 |
dc.date.accessioned.fl_str_mv |
2014-04-07T20:41:36Z |
dc.date.available.fl_str_mv |
2014-04-07T20:41:36Z |
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.citation.fl_str_mv |
SILVA, Hugo Vinicius. Metodologia de projeto de automação industrial visando a conversão automática de redes de petri interpretadas em códigos implementáveis. 2013. 70 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná, Cornélio Procópio, 2013. |
dc.identifier.uri.fl_str_mv |
http://repositorio.utfpr.edu.br/jspui/handle/1/780 |
identifier_str_mv |
SILVA, Hugo Vinicius. Metodologia de projeto de automação industrial visando a conversão automática de redes de petri interpretadas em códigos implementáveis. 2013. 70 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná, Cornélio Procópio, 2013. |
url |
http://repositorio.utfpr.edu.br/jspui/handle/1/780 |
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.publisher.none.fl_str_mv |
Universidade Tecnológica Federal do Paraná Cornelio Procopio |
dc.publisher.program.fl_str_mv |
Programa de Pós-Graduação em Engenharia Elétrica |
publisher.none.fl_str_mv |
Universidade Tecnológica Federal do Paraná Cornelio Procopio |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) instname:Universidade Tecnológica Federal do Paraná (UTFPR) instacron:UTFPR |
instname_str |
Universidade Tecnológica Federal do Paraná (UTFPR) |
instacron_str |
UTFPR |
institution |
UTFPR |
reponame_str |
Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) |
collection |
Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) |
bitstream.url.fl_str_mv |
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/780/4/CP_PPGEE_M_Silva%2c%20Hugo%20Vinicius%20Dias_2013.pdf.jpg http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/780/1/CP_PPGEE_M_Silva%2c%20Hugo%20Vinicius%20Dias_2013.pdf http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/780/2/license.txt http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/780/3/CP_PPGEE_M_Silva%2c%20Hugo%20Vinicius%20Dias_2013.pdf.txt |
bitstream.checksum.fl_str_mv |
74eb70c682864aa5ea5ede633c526013 9c36cd5fc54ccaf68ab961008dc0dfd9 3cbdb04c3d289deb9dca129a3870a6e1 69df38379eae71ca53d71f82f61e8bfb |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR) |
repository.mail.fl_str_mv |
|
_version_ |
1805922900604092416 |