Resumo

MENDOZA MORALES, Luis E. Verificación Automática de Procesos Industriales Críticos con Autómatas. Rev. Téc. Ing. Univ. Zulia [online]. 2016, vol.39, n.3, pp.121-129. ISSN 0254-0770.

Una meta de los diseñadores de negocio y desarrolladores de sistemas es construir aplicaciones de software confiables, proveyendo los sistemas para automatizar los procesos que constituyen el objetivo de una industria, conocidos como Procesos Industriales Críticos (PIC). Una forma de alcanzar esta meta es a través del uso de técnicas formales como la Verificación Automática (VA), la cual aumenta la comprensión de procesos automáticos, revelando inconsistencias, ambigüedades e incompletitudes, que no son percibidas fácilmente. Este trabajo presenta la integración de un Enfoque Formal de Verificación Composicional con la teoría de Autómatas Temporizados para la especificación y la VA del Modelo de Tareas (MT) asociado a un PIC (MTPI). El resultado, es una infraestructura metodológica que garantiza la exactitud del MTPI con respecto a la especificación de las propiedades iniciales derivadas de las buenas prácticas y normas industriales. Se muestra la integración la VA en las etapas tempranas del diseño de PIC a través de un típico ejemplo para evaluar metodologías para el diseño de sistemas industriales automatizados.

Palavras-chave : Procesos industriales; verificación automática; autómatas; especificación formal; modelo de tareas.

        · resumo em Inglês     · texto em Espanhol     · Espanhol ( pdf )