SciELO - Scientific Electronic Library Online

 
vol.39 número3Comportamiento Dinámico De Bloques Rígidos Simétricos Por Volteo Considerando La Interacción Dinámica Suelo-EstructuraCalidad de servicio móvil 2,5G para la red hidrometeorológica de la provincia de Chimborazo, Ecuador índice de autoresíndice de materiabúsqueda de artículos
Home Pagelista alfabética de revistas  

Servicios Personalizados

Revista

Articulo

Indicadores

Links relacionados

  • No hay articulos similaresSimilares en SciELO

Compartir


Revista Técnica de la Facultad de Ingeniería Universidad del Zulia

versión impresa ISSN 0254-0770

Resumen

MENDOZA MORALES, Luis E. Automatic Verification of Critical Industrial Process with Automata. Rev. Téc. Ing. Univ. Zulia [online]. 2016, vol.39, n.3, pp.121-129. ISSN 0254-0770.

A goal of the designers of business and system developers is to build reliable software applications, providing the systems to automate the processes that constitute the objective of an industry, known as Critical Industrial Processes (CIP). One way to achieve this goal is using formal verification techniques such as Model Checking (MC), which increases understanding of automated processes, revealing inconsistencies, ambiguities and incompleteness, which are not easily noticed. This paper presents the integration of a Formal Compositional Verification Approach with the timed automata theory for the specification, and the MC of the Tasks Model (TM) associated with a CIP (IPTM). The result is a methodological infrastructure that guarantees the accuracy of IPTM respect to the specification of the initial properties derived from good practices and industrial standards. Through a typical example to evaluate methodologies for designing automated industrial systems, the integration of the MC in the early stages of CIP design is shown.

Palabras clave : Industrial process; model checking; automata; formal specification; task model.

        · resumen en Español     · texto en Español     · Español ( pdf )