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

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.