FORMALIZACIÓN Y VISUALIZACIÓN DE UNA LÍNEA DE PRODUCCIÓN AUTOMÁTICA

Abstract

[ES] Hoy día la Verificación y Validación (V&V) de los software de control está obteniendo un gran significado en los sistemas productivos, por fín se asume que aplicar un estudio profundo en este asunto podría significar considerablemente una mejora de la eficiencia de los procesos productivos. La V&V se ha convertido en una necesidad a causa de las presiones que crea la competitividad en la demanda del mercado. Hasta ahora las empresas productivas esquivan esta clase de presiones por medio del "testeo". Pero no es lo bastante preciso ya que el "testeo" es una metodología heurística y no está basada en teorías científicas. Esta tésis propone otra metodología diferente -un método que consiste en la abstracción del objeto controlado en una representación formal, -más conocido como "Formalización". La Formalización permite obtener mucha más información del sistema que posteriormente puede servir para mejorar los procesos productivos más eficientemente. En esta tésis, se prueban los beneficios de la Formalización aplicando esta metodología en un caso real. Posteriormente, se extraerá toda la información necesaria mediante la "comprobación de modelos". Entre esta información se encuentra el espacio de estados y el diagrama de tiempos del sistema. Por último, también se propone y se muestra una de las posibles apliaciones de uso que se le puede dar a los métodos formales -la simulación del sistema en una representación visual.

[EN] Verification and Validation (V&Y) of control software is nowadays assuming great significance in manufacturing systems, for it has been finally understood that a thorough study on this subject could mean a considerable improvement in the efficiency of production processes. For this reason V&V has become a necessity due to the pressures of market demand. Manufacturing companies tend to solve these market pressures by the use of testing. But it is not quite correct, due to the fact that testing is a heuristic methodology and it has not a scientific foundation. This thesis proposes another different methodology a method consisting in the abstraction of the controlled object in a formal representation, better known as "formalization". By means of formalization much more system information can be obtained and be used in the improvement of the efficiency of production processes. In this thesis the benefits of formalization are proven by the application of the methodology in a real case. It means that the formalization of a case study will be developed obtaining significant results that will prove their own benefits. After the formalization the system can be subjected to model-checking where a lot of information can be extracted from. One of the results of this thesis is the obtaining of the state space and the timing diagram of the system. Furthermore in this thesis it is highlighted and exposed one of the possible applications of formal methods the system simulation in a visual representation.