Abordagem Sistemática para Projeto de Sistemas de Manufatura Flexível baseada em Técnicas Formais

Detalhes bibliográficos
Autor(a) principal: Costa Neto, Ermes Ferreira
Data de Publicação: 2019
Outros Autores: Del Foyo, Pedro Manuel González, Pinto, André Murilo de Almeida
Tipo de documento: Artigo
Idioma: por
Título da fonte: Revista de Engenharia e Pesquisa Aplicada
Texto Completo: http://revistas.poli.br/index.php/repa/article/view/993
Resumo: Atualmente, as empresas de manufatura precisam de mais flexibilidade para permanecer competitivas no mercado. Novas técnicas para projetar e implementar sistemas de manufatura flexível em menos tempo são pontos cruciais para aumentar a produtividade em tais indústrias. O objetivo deste artigo é apresentar uma abordagem sistemática por meio do uso de diversas técnicas formais, a fim de automatizar processos de fabricação de forma rápida, evitando a migração de erros entre as fases do projeto. A chave para alcançar esse desempenho é usar formalismo equivalente em todas as fases do projeto, incluindo verificação e implementação. A abordagem foi aplicada à automação de uma célula de manufatura robotizada, tipo de sistema de manufatura flexível, e os resultados mostram que ela pode ser útil em aplicações reais da indústria, reduzindo o custo e diminuindo o tempo de desenvolvimento no processo de projeto.
id UFPE-2_3d6d9731d1d0034a070177ec4597737f
oai_identifier_str oai:ojs.poli.br:article/993
network_acronym_str UFPE-2
network_name_str Revista de Engenharia e Pesquisa Aplicada
repository_id_str
spelling Abordagem Sistemática para Projeto de Sistemas de Manufatura Flexível baseada em Técnicas FormaisAtualmente, as empresas de manufatura precisam de mais flexibilidade para permanecer competitivas no mercado. Novas técnicas para projetar e implementar sistemas de manufatura flexível em menos tempo são pontos cruciais para aumentar a produtividade em tais indústrias. O objetivo deste artigo é apresentar uma abordagem sistemática por meio do uso de diversas técnicas formais, a fim de automatizar processos de fabricação de forma rápida, evitando a migração de erros entre as fases do projeto. A chave para alcançar esse desempenho é usar formalismo equivalente em todas as fases do projeto, incluindo verificação e implementação. A abordagem foi aplicada à automação de uma célula de manufatura robotizada, tipo de sistema de manufatura flexível, e os resultados mostram que ela pode ser útil em aplicações reais da indústria, reduzindo o custo e diminuindo o tempo de desenvolvimento no processo de projeto.Escola Politécnica de Pernambuco2019-05-06info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdftext/htmlhttp://revistas.poli.br/index.php/repa/article/view/99310.25286/repa.v4i3.993Journal of Engineering and Applied Research; Vol 4 No 3 (2019): Revista de Engenharia e Pesquisa Aplicada; 40-51Revista de Engenharia e Pesquisa Aplicada; v. 4 n. 3 (2019): Revista de Engenharia e Pesquisa Aplicada; 40-512525-425110.25286/repa.v4i3reponame:Revista de Engenharia e Pesquisa Aplicadainstname:Universidade Federal de Pernambuco (UFPE)instacron:UFPEporhttp://revistas.poli.br/index.php/repa/article/view/993/504http://revistas.poli.br/index.php/repa/article/view/993/540Copyright (c) 2019 Revista de Engenharia e Pesquisa Aplicadahttp://creativecommons.org/licenses/by-nc/4.0info:eu-repo/semantics/openAccessCosta Neto, Ermes FerreiraDel Foyo, Pedro Manuel GonzálezPinto, André Murilo de Almeida2021-07-13T08:41:24Zoai:ojs.poli.br:article/993Revistahttp://revistas.poli.br/index.php/repaONGhttp://revistas.poli.br/index.php/repa/oai||repa@poli.br2525-42512525-4251opendoar:2021-07-13T08:41:24Revista de Engenharia e Pesquisa Aplicada - Universidade Federal de Pernambuco (UFPE)false
dc.title.none.fl_str_mv Abordagem Sistemática para Projeto de Sistemas de Manufatura Flexível baseada em Técnicas Formais
title Abordagem Sistemática para Projeto de Sistemas de Manufatura Flexível baseada em Técnicas Formais
spellingShingle Abordagem Sistemática para Projeto de Sistemas de Manufatura Flexível baseada em Técnicas Formais
Costa Neto, Ermes Ferreira
title_short Abordagem Sistemática para Projeto de Sistemas de Manufatura Flexível baseada em Técnicas Formais
title_full Abordagem Sistemática para Projeto de Sistemas de Manufatura Flexível baseada em Técnicas Formais
title_fullStr Abordagem Sistemática para Projeto de Sistemas de Manufatura Flexível baseada em Técnicas Formais
title_full_unstemmed Abordagem Sistemática para Projeto de Sistemas de Manufatura Flexível baseada em Técnicas Formais
title_sort Abordagem Sistemática para Projeto de Sistemas de Manufatura Flexível baseada em Técnicas Formais
author Costa Neto, Ermes Ferreira
author_facet Costa Neto, Ermes Ferreira
Del Foyo, Pedro Manuel González
Pinto, André Murilo de Almeida
author_role author
author2 Del Foyo, Pedro Manuel González
Pinto, André Murilo de Almeida
author2_role author
author
dc.contributor.author.fl_str_mv Costa Neto, Ermes Ferreira
Del Foyo, Pedro Manuel González
Pinto, André Murilo de Almeida
description Atualmente, as empresas de manufatura precisam de mais flexibilidade para permanecer competitivas no mercado. Novas técnicas para projetar e implementar sistemas de manufatura flexível em menos tempo são pontos cruciais para aumentar a produtividade em tais indústrias. O objetivo deste artigo é apresentar uma abordagem sistemática por meio do uso de diversas técnicas formais, a fim de automatizar processos de fabricação de forma rápida, evitando a migração de erros entre as fases do projeto. A chave para alcançar esse desempenho é usar formalismo equivalente em todas as fases do projeto, incluindo verificação e implementação. A abordagem foi aplicada à automação de uma célula de manufatura robotizada, tipo de sistema de manufatura flexível, e os resultados mostram que ela pode ser útil em aplicações reais da indústria, reduzindo o custo e diminuindo o tempo de desenvolvimento no processo de projeto.
publishDate 2019
dc.date.none.fl_str_mv 2019-05-06
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://revistas.poli.br/index.php/repa/article/view/993
10.25286/repa.v4i3.993
url http://revistas.poli.br/index.php/repa/article/view/993
identifier_str_mv 10.25286/repa.v4i3.993
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv http://revistas.poli.br/index.php/repa/article/view/993/504
http://revistas.poli.br/index.php/repa/article/view/993/540
dc.rights.driver.fl_str_mv Copyright (c) 2019 Revista de Engenharia e Pesquisa Aplicada
http://creativecommons.org/licenses/by-nc/4.0
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2019 Revista de Engenharia e Pesquisa Aplicada
http://creativecommons.org/licenses/by-nc/4.0
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
text/html
dc.publisher.none.fl_str_mv Escola Politécnica de Pernambuco
publisher.none.fl_str_mv Escola Politécnica de Pernambuco
dc.source.none.fl_str_mv Journal of Engineering and Applied Research; Vol 4 No 3 (2019): Revista de Engenharia e Pesquisa Aplicada; 40-51
Revista de Engenharia e Pesquisa Aplicada; v. 4 n. 3 (2019): Revista de Engenharia e Pesquisa Aplicada; 40-51
2525-4251
10.25286/repa.v4i3
reponame:Revista de Engenharia e Pesquisa Aplicada
instname:Universidade Federal de Pernambuco (UFPE)
instacron:UFPE
instname_str Universidade Federal de Pernambuco (UFPE)
instacron_str UFPE
institution UFPE
reponame_str Revista de Engenharia e Pesquisa Aplicada
collection Revista de Engenharia e Pesquisa Aplicada
repository.name.fl_str_mv Revista de Engenharia e Pesquisa Aplicada - Universidade Federal de Pernambuco (UFPE)
repository.mail.fl_str_mv ||repa@poli.br
_version_ 1798035999749570560

Registros relacionados