Extending timed automata for compositional modeling healthy timed systems

Mostrar todas las versiones(3)

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"...

Descripción completa

Detalles Bibliográficos
Autores principales: Braberman, V., Olivero, A.
Formato: Artículo publishedVersion
Lenguaje:Inglés
Publicado: 2002
Materias:
Automata theory
Mathematical models
Statistical methods
Compositional modeling
Key modeling
Timed Automata
Computer programming languages
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_15710661_v52_n3_p227_Braberman
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paperaa:paper_15710661_v52_n3_p227_Braberman
record_format dspace
spelling paperaa:paper_15710661_v52_n3_p227_Braberman2023-06-12T16:50:47Z Extending timed automata for compositional modeling healthy timed systems Electron. Notes Theor. Comput. Sci. 2002;52(3):227-245 Braberman, V. Olivero, A. Automata theory Mathematical models Statistical methods Compositional modeling Key modeling Timed Automata Computer programming languages 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. 2002 info:eu-repo/semantics/article info:ar-repo/semantics/artículo info:eu-repo/semantics/publishedVersion application/pdf eng info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_15710661_v52_n3_p227_Braberman
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
language Inglés
orig_language_str_mv eng
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
work_keys_str_mv AT brabermanv extendingtimedautomataforcompositionalmodelinghealthytimedsystems
AT oliveroa extendingtimedautomataforcompositionalmodelinghealthytimedsystems
_version_ 1769810046326145024

Ejemplares similares