Made available in DSpace on 2016-12-12T17:38:32Z (GMT). No. of bitstreams: 1 Yuri k Lopes.pdf: 3796043 bytes, checksum: 70432b9e6f5bb1b00a3971427ddf5a44 (MD5) Previous issue date: 2012-10-30 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The languages and automata theory is used to obtain the coordinating control logic of automated manufacturing plants. However, there is a lack of standardization to interface MES (Manufacturing Execution System), SCADA (Supervisory Control System and Data Acquisition) and coordination control. This paper investigates the use of languages and automata theory to integrate and implement MES and SCADA with controllers for data acquisition and intervention in the manufacturing plant. This approach aims to achieve consistency between levels as well as the systematic development of interfaces between MES, SCADA and control coordination. Thus, the objective is to reduce the effort for creating and maintaining these systems. Furthermore, it was implemented a tool for modeling and synthesis of the proposed method. For the experiments, it was developed a graphical environment for simulation of manufacturing. The validation was performed by through two experiments in which were modeled and synthesized controller, SCADA and MES according to the proposed method. / A teoria de linguagens e autômatos é utilizada para a obtenção da lógica de controle de coordenação de plantas de manufatura automatizadas. No entanto, há uma carência da padronização das interfaces entre o MES (Sistema de Execução da Manufatura), o SCADA (Controle Supervisório e Aquisição de Dados) e o controle de coordenação. Este trabalho investiga o uso da teoria de linguagens e autômatos para integrar e implementar o MES e o SCADA com os controladores para a aquisição de dados e a intervenção na planta de manufatura. Tal abordagem visa à consistência entre níveis bem como a sistematização do desenvolvimento das interfaces entre MES, SCADA e o controle de coordenação. Com isso, objetiva-se a redução do esforço para a criação e manutenção desses sistemas. Ainda, foi implementada uma ferramenta para a modelagem e síntese conforme o método proposto. Para a realização dos experimentos, foi desenvolvido um ambiente para simulação gráfica da manufatura. A validação foi realizada por meio de dois experimentos, nos quais foram modelados e sintetizados o controlador, o SCADA e o MES segundo o método proposto.