Revista: | Ingeniería y competitividad |
Base de datos: | PERIÓDICA |
Número de sistema: | 000421022 |
ISSN: | 0123-3033 |
Autors: | Ortiz, James J1 |
Institucions: | 1University of Namur, Computer Science Faculty, Namur. Bélgica |
Any: | 2013 |
Volum: | 15 |
Número: | 2 |
Paginació: | 115-124 |
País: | Colombia |
Idioma: | Inglés |
Tipo de documento: | Artículo |
Enfoque: | Aplicado, descriptivo |
Resumen en español | El aumento en la complejidad de los sistemas distribuidos y temporizados hace que ellos sean muy difícil de modelar y 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, estudia |
Resumen en inglés | Increasing complexity in distributed and real-time systems makes them very hard to model and specify correctly. Different formal methods are useful for the process of modeling and specification of these kinds of systems. Timed Automata (TA) and Distributed Timed Automata (DTA) are the dominant models of distributed and realtime systems. Unfortunately, their language inclusion and complementation are undecidable. In this paper, we will present logics and automata (Distributed Event Clock Automata (DECA), Memory Event Clock Automata (RMECA), Distributed Event Clock Temporal Logic (DECTL), Memory Event Clock Temporal Logic (RMECTL) fully decidable and they were designed to modeling, specifying and studying the behavior and in particular verifying the correct operation of distributed and real-time systems |
Disciplines | Ingeniería |
Paraules clau: | Ingeniería de control, Ingeniería de sistemas, Autómatas temporizados, Sistemas distribuidos, Métodos formales, Logica temporal |
Keyword: | Control engineering, Systems engineering, Timed automata, Distributed systems, Formal methods, Temporal logic |
Text complet: | Texto completo (Ver PDF) |