Modelamiento y especificación de sistemas distribuidos y temporizados

  • James J. Ortiz Universidad del Valle

Resumen

El aumento en la complejidad de los sistemas distribuidos y temporizados hace que ellos sean muy difícil de modelary especificar correctamente. Diferentes métodos formales son útiles para el proceso de modelado y especificaciónde estos tipos de sistemas. Los Autómatas Temporizados (AT) y los Autómatas Temporizados Distribuidos (ATD)son los modelos formales más utilizados para modelar sistemas de tiempo real y distribuidos. Lamentablemente losalgoritmos existentes para calcular la inclusión y complementación de sus lenguajes son indecidible. En este artículo,presentaremos las lógicas (Lógica Temporalizada de Eventos Distribuidos, Lógica Temporizados de Memorizaciónde Eventos) y los autómatas (Autómatas de Eventos Distribuidos, Autómatas de Memorización de Eventos),totalmente decidibles. Estos métodos fueron diseñados para modelar, especificar, estudiar el comportamiento y enespecial verificar el buen funcionamiento de los sistemas de tiempo real y distribuidos.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##
Como citar
ORTIZ, James J.. Modelamiento y especificación de sistemas distribuidos y temporizados. INGENIERÍA Y COMPETITIVIDAD, [S.l.], v. 15, n. 2, nov. 2013. ISSN 2027-8284. Disponible en: <http://revistaingenieria.univalle.edu.co/index.php/ingenieria_y_competitividad/article/view/2599>. Fecha de acceso: 24 nov. 2017 doi: https://doi.org/10.25100/iyc.v15i2.2599.

Palabras clave

Automatas Temporizados, Métodos Formales, Lógica Temporizados, Sistemas Distribuidos.