Proposal of a Procedure for the Automation of an Industrial Processes that Integrates Formal Methods



Título del documento: Proposal of a Procedure for the Automation of an Industrial Processes that Integrates Formal Methods
Revista: Revista politécnica
Base de datos: PERIÓDICA
Número de sistema: 000435391
ISSN: 1900-2351
Autores: 1
1
1
Instituciones: 1Universidad del Valle, Cali, Valle del Cauca. Colombia
Año:
Periodo: Ene-Jun
Volumen: 14
Número: 26
Paginación: 29-41
País: Colombia
Idioma: Inglés
Tipo de documento: Artículo
Enfoque: Aplicado, descriptivo
Resumen en español Actualmente, los sistemas industriales deben adaptarse a los cambios de los mercados globalizados con el objetivo de ser competitivos. En ese contexto, la automatización se presenta como una solución para asegurar la eficacia y eficiencia de la producción. Sin embargo, una correcta especificación de este tipo de respuesta no es tarea trivial. Esto debido tanto al incremento en las dinámicas de los procesos que involucran personal y recursos técnicos de diferente naturaleza como a los riegos derivados de una incorrecta definición de la solución. Así, este artículo presenta un proceso estructurado que considera las semánticas de UML, Redes de Petri y EIC 1131 como herramientas de modelado para definir los requerimientos, el comportamiento y la implementación del proyecto de automatización del sistema, respectivamente. Con el objetivo de valorar el abordaje propuesto, un ejemplo de aplicación fue desarrollado. Finalmente, son enunciadas las contribuciones relevantes en el contexto de la aplicación
Resumen en inglés Currently, industrial systems must adapt to changes in globalized markets in order to be competitive. In this context, automation is presented as a solution to ensure the efficiency and effectiveness of production. However, a correct specification of this kind of response is not a trivial task. This is due to the increase in the process dynamic complexity that involves personnel and technical resources of different nature as well as, risks derived from an incorrect solution definition. Thus, this article presents a structured process that considers the semantics of UML, Petri Nets as a modeling tools and automation standards to define the requirements, behavior and implementation of the system automation project. In order to assess the proposed approach, an application example was developed. Finally, the relevant contributions are stated in the context of the application
Disciplinas: Ingeniería
Palabras clave: Ingeniería industrial,
Procesos industriales,
Métodos formales,
Automatización,
Redes de Petri
Keyword: Industrial engineering,
Industrial processes,
Formal methods,
Automation,
Petri nets
Texto completo: http://biblat.unam.mx/hevila/Revistapolitecnica/2018/vol14/no26/3.pdf