Examinando por Materia "Sistemas Distribuidos"

Mostrando 1 - 1 de 1
  • Miniatura
    PublicaciónAcceso abierto
    Modeling and specification of distributed timed systems.
    (2014-03-14) Ortiz, James J.
    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ón de 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 los algoritmos 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ón de 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 en especial verificar el buen funcionamiento de los sistemas de tiempo real y distribuidos.