SciELO - Scientific Electronic Library Online

vol.15 número2A survey of computational calculi used in musical applicationsThree-Step method to tightly integrate data mining tasks into a relational database system índice de autoresíndice de assuntospesquisa de artigos
Home Pagelista alfabética de periódicos  

Serviços Personalizados



Links relacionados

  • Em processo de indexaçãoCitado por Google
  • Não possue artigos similaresSimilares em SciELO
  • Em processo de indexaçãoSimilares em Google


Ingeniería y competitividad

versão impressa ISSN 0123-3033


ORTIZ, James J.. Modeling and specification of distributed timed systems. Ing. compet. [online]. 2013, vol.15, n.2, pp.115-124. ISSN 0123-3033.

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

Palavras-chave : Timed Automata; Formal Methods; Temporal Logic; Distributed Timed Systems.

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