Modeling and Specification of Distributed Timed Systems

Research output: Contribution to journalArticle

24 Downloads (Pure)

Abstract

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.
Original languageEnglish
Article number10
Pages (from-to)229-238
Number of pages10
JournalIngeniería Y Competitividad
Volumevol 15
Issue number2
Publication statusPublished - 10 Sep 2013

Cite this

@article{321db5d8bc694dda8dcd4a9172c4d0a0,
title = "Modeling and Specification of Distributed Timed Systems",
abstract = "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, wewill 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.",
author = "{Ortiz Vega}, {James Jerson}",
year = "2013",
month = "9",
day = "10",
language = "English",
volume = "vol 15",
pages = "229--238",
journal = "Ingenier{\'i}a Y Competitividad",
issn = "0123-3033",
number = "2",

}

Modeling and Specification of Distributed Timed Systems. / Ortiz Vega, James Jerson.

In: Ingeniería Y Competitividad, Vol. vol 15, No. 2, 10, 10.09.2013, p. 229-238.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Modeling and Specification of Distributed Timed Systems

AU - Ortiz Vega, James Jerson

PY - 2013/9/10

Y1 - 2013/9/10

N2 - 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, wewill 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.

AB - 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, wewill 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.

M3 - Article

VL - vol 15

SP - 229

EP - 238

JO - Ingeniería Y Competitividad

JF - Ingeniería Y Competitividad

SN - 0123-3033

IS - 2

M1 - 10

ER -