Modeling and specification of distributed timed systems
Fuente:
Redalyc
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Artículo científico |
| Lingua: | en |
| Pubblicazione: |
Universidad del Valle
2013
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1876468230757810176 |
|---|---|
| author | James J. Ortiz |
| author_facet | James J. Ortiz |
| contents | Modeling and specification of distributed timed systems James J. Ortiz Ingeniería Timed Automata Timed Automata Formal Methods Formal Methods Temporal Logic 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 real- time 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. 2013 artículo científico 0123-3033 https://www.redalyc.org/articulo.oa?id=291329166010 en http://www.redalyc.org/revista.oa?id=2913 Ingeniería y Competitividad application/pdf Universidad del Valle Ingeniería y Competitividad (Colombia) Num.2 Vol.15 |
| format | Artículo científico |
| id | redalyc_291329166010 |
| institution | Redalyc |
| language | en |
| publishDate | 2013 |
| publisher | Universidad del Valle |
| spellingShingle | Modeling and specification of distributed timed systems James J. Ortiz Ingeniería Timed Automata Timed Automata Formal Methods Formal Methods Temporal Logic Modeling and specification of distributed timed systems James J. Ortiz Ingeniería Timed Automata Timed Automata Formal Methods Formal Methods Temporal Logic 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 real- time 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. 2013 artículo científico 0123-3033 https://www.redalyc.org/articulo.oa?id=291329166010 en http://www.redalyc.org/revista.oa?id=2913 Ingeniería y Competitividad application/pdf Universidad del Valle Ingeniería y Competitividad (Colombia) Num.2 Vol.15 |
| title | Modeling and specification of distributed timed systems |
| topic | Ingeniería Timed Automata Timed Automata Formal Methods Formal Methods Temporal Logic |
| url | https://www.redalyc.org/articulo.oa?id=291329166010 |