Herramienta basada en autómatas para diseño e implementación con PLC, de supervisores de sistemas de eventos discretos

Abstract

Este proyecto plantea una metodología para la el diseño de supervisores mediante el formalismo de autómatas extendidos de sistemas a eventos discretos, capaz de detectar todos los posibles estados de funcionamiento del proceso a evaluar. Se utiliza en primera instancia una metodología existente que utiliza el concepto de autómatas para el diseño de supervisores, sin embargo esta metodología no es aplicable en procesos donde existe la presencia de contadores y temporizadores, por lo que se hace necesario hacer una ampliación a la misma. Esta ampliación involucra que además de contar con una herramienta para el diseño de los autómatas finitos se deba usar una herramienta para la verificación y simulación del autómata, con el fin de determinar que no existen bloqueos o estados inalcanzables en el supervisor. Para cumplir este objetivo se usa la herramienta UPPAAL. Finalmente se desarrolla una herramienta software llamada FSMLADDER, que como su nombre lo indica nos permite a partir de una Máquina de estado finito (FSM) o autómata obtener un supervisor del proceso, para posteriormente ser traducido de manera automática al lenguaje LADDER . De esta manera el usuario deberá crear los autómatas a partir de la metodología propuesta en DESUMA, cargarlos al software FSMLADDER y este se encargara de realizar la composición paralela (autómata supervisor), convertirlo de manera automática al archivo XML usado por UPPAL para realizar la verificación y simulación y finalmente generar el archivo con el código LADDER del proceso.