Extending timed automata for compositional modeling healthy timed systems
We introduce the notion of Timed I/O Components as Timed Automata "á la" Alur & Dill where an "admissible" I/O interface is declared. That notion has, what we consider, a key modeling property: non-zeno preservation under syntactically-checkable "I/O compatibility"...
| Autores principales: | , |
|---|---|
| Formato: | Artículo publishedVersion |
| Publicado: |
2002
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_15710661_v52_n3_p227_Braberman https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_15710661_v52_n3_p227_Braberman_oai |
| Aporte de: |
| id |
I28-R145-paper_15710661_v52_n3_p227_Braberman_oai |
|---|---|
| record_format |
dspace |
| spelling |
I28-R145-paper_15710661_v52_n3_p227_Braberman_oai2024-08-16 Braberman, V. Olivero, A. 2002 We introduce the notion of Timed I/O Components as Timed Automata "á la" Alur & Dill where an "admissible" I/O interface is declared. That notion has, what we consider, a key modeling property: non-zeno preservation under syntactically-checkable "I/O compatibility" among interacting components. Also a reduced parallel composition is posssible based on the ability of statically detect influence of behavior between components [8,10,11]. On the other hand, with some simple extra conditions, modular assume-guarantee style of reasoning like [15,19] is valid in our model. © 2002 Published by Elsevier Science B. V. Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. application/pdf http://hdl.handle.net/20.500.12110/paper_15710661_v52_n3_p227_Braberman info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar Electron. Notes Theor. Comput. Sci. 2002;52(3):227-245 Automata theory Mathematical models Statistical methods Compositional modeling Key modeling Timed Automata Computer programming languages Extending timed automata for compositional modeling healthy timed systems info:eu-repo/semantics/article info:ar-repo/semantics/artículo info:eu-repo/semantics/publishedVersion https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_15710661_v52_n3_p227_Braberman_oai |
| institution |
Universidad de Buenos Aires |
| institution_str |
I-28 |
| repository_str |
R-145 |
| collection |
Repositorio Digital de la Universidad de Buenos Aires (UBA) |
| topic |
Automata theory Mathematical models Statistical methods Compositional modeling Key modeling Timed Automata Computer programming languages |
| spellingShingle |
Automata theory Mathematical models Statistical methods Compositional modeling Key modeling Timed Automata Computer programming languages Braberman, V. Olivero, A. Extending timed automata for compositional modeling healthy timed systems |
| topic_facet |
Automata theory Mathematical models Statistical methods Compositional modeling Key modeling Timed Automata Computer programming languages |
| description |
We introduce the notion of Timed I/O Components as Timed Automata "á la" Alur & Dill where an "admissible" I/O interface is declared. That notion has, what we consider, a key modeling property: non-zeno preservation under syntactically-checkable "I/O compatibility" among interacting components. Also a reduced parallel composition is posssible based on the ability of statically detect influence of behavior between components [8,10,11]. On the other hand, with some simple extra conditions, modular assume-guarantee style of reasoning like [15,19] is valid in our model. © 2002 Published by Elsevier Science B. V. |
| format |
Artículo Artículo publishedVersion |
| author |
Braberman, V. Olivero, A. |
| author_facet |
Braberman, V. Olivero, A. |
| author_sort |
Braberman, V. |
| title |
Extending timed automata for compositional modeling healthy timed systems |
| title_short |
Extending timed automata for compositional modeling healthy timed systems |
| title_full |
Extending timed automata for compositional modeling healthy timed systems |
| title_fullStr |
Extending timed automata for compositional modeling healthy timed systems |
| title_full_unstemmed |
Extending timed automata for compositional modeling healthy timed systems |
| title_sort |
extending timed automata for compositional modeling healthy timed systems |
| publishDate |
2002 |
| url |
http://hdl.handle.net/20.500.12110/paper_15710661_v52_n3_p227_Braberman https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_15710661_v52_n3_p227_Braberman_oai |
| work_keys_str_mv |
AT brabermanv extendingtimedautomataforcompositionalmodelinghealthytimedsystems AT oliveroa extendingtimedautomataforcompositionalmodelinghealthytimedsystems |
| _version_ |
1809357122333310976 |