Metodologia de projeto de automação industrial visando a conversão automática de redes de petri interpretadas em códigos implementáveis

Detalhes bibliográficos
Ano de defesa: 2013
Autor(a) principal: Silva, Hugo Vinicius Dias
Orientador(a): Vallim, Marcos Banheti Rabello
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: Universidade Tecnológica Federal do Paraná
Cornelio Procopio
Programa de Pós-Graduação: Programa de Pós-Graduação em Engenharia Elétrica
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: 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.