Modeling and Specification of Distributed Timed Systems

Résultats de recherche: Contribution à un journal/une revueArticle

26 Téléchargements (Pure)


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.
langue originaleAnglais
Numéro d'article10
Pages (de - à)229-238
Nombre de pages10
journalIngeniería Y Competitividad
Volumevol 15
Numéro de publication2
Etat de la publicationPublié - 10 sept. 2013

Contient cette citation