Hot-swap : una técnica para la generación y actualización automática de controladores discretos en tiempo de ejecución
- Autores
- Nahabedian, Leandro Ezequiel
- Año de publicación
- 2014
- Idioma
- español castellano
- Tipo de recurso
- tesis de grado
- Estado
- versión publicada
- Colaborador/a o director/a de tesis
- D'Ippolito, Nicolás Roque
- Descripción
- Es esperado que muchos sistemas se ejecuten continuamente mientras el ambiente cambia y los requerimientos evolucionan, por lo tanto las implementaciones de dichos sistemas deben ser actualizados dinamicamente para satisfacer los cambios de requerimientos, respetando los cambios del ambiente. Lo complejo de este paso, es poder determinar en qué puntos de la ejecución previa es seguro hacer la actualización, y si es seguro, cómo deberá seguir ejecutando el nuevo sistema. A su vez, existe la necesidad de desarrollar técnicas que permitan actualizar un sistema sin frenar o interrumpir la ejecución del sistema. Tanto la máquina, cómo el ambiente y los requerimientos, pueden ser interpretados por modelos de comportamiento que son estructuras formales que definen acciones que pueden suceder. Luego, con la técnica de síntesis de controladores podremos obtener modelos de forma correcta debido a que son obtenidos mediante construcciones. En esta tesis presentaremos una solución general, que no sólo produce un controlador para la nueva especificación y maneja la transición de uno a otro, sino que también,fuerza al sistema a que alcance un estado en el cual la transición puede ocurrir de manera segura. Finalizando, desarrollaremos varios casos de estudio utilizando la herramienta MTSA (Mo-dal Transition System Analyser) que nos permite efectuar la síntesis de controladores. Los casos de estudios fueron tomados de trabajos previos sobre actualización dinámica y sistemas adaptables lo que nos permite hacer un trabajo comparativo entre nuestros resultados y los obtenidos previamente.
Fil: Nahabedian, Leandro Ezequiel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. - Materia
-
SINTESIS DE CONTROLADORES
LTS
ACTUALIZACION DINAMICA
SISTEMAS ADAPTABLES - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- https://creativecommons.org/licenses/by-nc-sa/2.5/ar
- Repositorio
- Institución
- Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
- OAI Identificador
- seminario:seminario_nCOM000463_Nahabedian
Ver los metadatos del registro completo
id |
BDUBAFCEN_7655cd5664efa68e17cb331b15c20c43 |
---|---|
oai_identifier_str |
seminario:seminario_nCOM000463_Nahabedian |
network_acronym_str |
BDUBAFCEN |
repository_id_str |
1896 |
network_name_str |
Biblioteca Digital (UBA-FCEN) |
spelling |
Hot-swap : una técnica para la generación y actualización automática de controladores discretos en tiempo de ejecuciónNahabedian, Leandro EzequielSINTESIS DE CONTROLADORESLTSACTUALIZACION DINAMICASISTEMAS ADAPTABLESEs esperado que muchos sistemas se ejecuten continuamente mientras el ambiente cambia y los requerimientos evolucionan, por lo tanto las implementaciones de dichos sistemas deben ser actualizados dinamicamente para satisfacer los cambios de requerimientos, respetando los cambios del ambiente. Lo complejo de este paso, es poder determinar en qué puntos de la ejecución previa es seguro hacer la actualización, y si es seguro, cómo deberá seguir ejecutando el nuevo sistema. A su vez, existe la necesidad de desarrollar técnicas que permitan actualizar un sistema sin frenar o interrumpir la ejecución del sistema. Tanto la máquina, cómo el ambiente y los requerimientos, pueden ser interpretados por modelos de comportamiento que son estructuras formales que definen acciones que pueden suceder. Luego, con la técnica de síntesis de controladores podremos obtener modelos de forma correcta debido a que son obtenidos mediante construcciones. En esta tesis presentaremos una solución general, que no sólo produce un controlador para la nueva especificación y maneja la transición de uno a otro, sino que también,fuerza al sistema a que alcance un estado en el cual la transición puede ocurrir de manera segura. Finalizando, desarrollaremos varios casos de estudio utilizando la herramienta MTSA (Mo-dal Transition System Analyser) que nos permite efectuar la síntesis de controladores. Los casos de estudios fueron tomados de trabajos previos sobre actualización dinámica y sistemas adaptables lo que nos permite hacer un trabajo comparativo entre nuestros resultados y los obtenidos previamente.Fil: Nahabedian, Leandro Ezequiel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.Universidad de Buenos Aires. Facultad de Ciencias Exactas y NaturalesD'Ippolito, Nicolás Roque2014-09-14info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttps://hdl.handle.net/20.500.12110/seminario_nCOM000463_Nahabedianspainfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/arreponame:Biblioteca Digital (UBA-FCEN)instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesinstacron:UBA-FCEN2025-09-29T13:43:38Zseminario:seminario_nCOM000463_NahabedianInstitucionalhttps://digital.bl.fcen.uba.ar/Universidad públicaNo correspondehttps://digital.bl.fcen.uba.ar/cgi-bin/oaiserver.cgiana@bl.fcen.uba.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:18962025-09-29 13:43:39.744Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesfalse |
dc.title.none.fl_str_mv |
Hot-swap : una técnica para la generación y actualización automática de controladores discretos en tiempo de ejecución |
title |
Hot-swap : una técnica para la generación y actualización automática de controladores discretos en tiempo de ejecución |
spellingShingle |
Hot-swap : una técnica para la generación y actualización automática de controladores discretos en tiempo de ejecución Nahabedian, Leandro Ezequiel SINTESIS DE CONTROLADORES LTS ACTUALIZACION DINAMICA SISTEMAS ADAPTABLES |
title_short |
Hot-swap : una técnica para la generación y actualización automática de controladores discretos en tiempo de ejecución |
title_full |
Hot-swap : una técnica para la generación y actualización automática de controladores discretos en tiempo de ejecución |
title_fullStr |
Hot-swap : una técnica para la generación y actualización automática de controladores discretos en tiempo de ejecución |
title_full_unstemmed |
Hot-swap : una técnica para la generación y actualización automática de controladores discretos en tiempo de ejecución |
title_sort |
Hot-swap : una técnica para la generación y actualización automática de controladores discretos en tiempo de ejecución |
dc.creator.none.fl_str_mv |
Nahabedian, Leandro Ezequiel |
author |
Nahabedian, Leandro Ezequiel |
author_facet |
Nahabedian, Leandro Ezequiel |
author_role |
author |
dc.contributor.none.fl_str_mv |
D'Ippolito, Nicolás Roque |
dc.subject.none.fl_str_mv |
SINTESIS DE CONTROLADORES LTS ACTUALIZACION DINAMICA SISTEMAS ADAPTABLES |
topic |
SINTESIS DE CONTROLADORES LTS ACTUALIZACION DINAMICA SISTEMAS ADAPTABLES |
dc.description.none.fl_txt_mv |
Es esperado que muchos sistemas se ejecuten continuamente mientras el ambiente cambia y los requerimientos evolucionan, por lo tanto las implementaciones de dichos sistemas deben ser actualizados dinamicamente para satisfacer los cambios de requerimientos, respetando los cambios del ambiente. Lo complejo de este paso, es poder determinar en qué puntos de la ejecución previa es seguro hacer la actualización, y si es seguro, cómo deberá seguir ejecutando el nuevo sistema. A su vez, existe la necesidad de desarrollar técnicas que permitan actualizar un sistema sin frenar o interrumpir la ejecución del sistema. Tanto la máquina, cómo el ambiente y los requerimientos, pueden ser interpretados por modelos de comportamiento que son estructuras formales que definen acciones que pueden suceder. Luego, con la técnica de síntesis de controladores podremos obtener modelos de forma correcta debido a que son obtenidos mediante construcciones. En esta tesis presentaremos una solución general, que no sólo produce un controlador para la nueva especificación y maneja la transición de uno a otro, sino que también,fuerza al sistema a que alcance un estado en el cual la transición puede ocurrir de manera segura. Finalizando, desarrollaremos varios casos de estudio utilizando la herramienta MTSA (Mo-dal Transition System Analyser) que nos permite efectuar la síntesis de controladores. Los casos de estudios fueron tomados de trabajos previos sobre actualización dinámica y sistemas adaptables lo que nos permite hacer un trabajo comparativo entre nuestros resultados y los obtenidos previamente. Fil: Nahabedian, Leandro Ezequiel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. |
description |
Es esperado que muchos sistemas se ejecuten continuamente mientras el ambiente cambia y los requerimientos evolucionan, por lo tanto las implementaciones de dichos sistemas deben ser actualizados dinamicamente para satisfacer los cambios de requerimientos, respetando los cambios del ambiente. Lo complejo de este paso, es poder determinar en qué puntos de la ejecución previa es seguro hacer la actualización, y si es seguro, cómo deberá seguir ejecutando el nuevo sistema. A su vez, existe la necesidad de desarrollar técnicas que permitan actualizar un sistema sin frenar o interrumpir la ejecución del sistema. Tanto la máquina, cómo el ambiente y los requerimientos, pueden ser interpretados por modelos de comportamiento que son estructuras formales que definen acciones que pueden suceder. Luego, con la técnica de síntesis de controladores podremos obtener modelos de forma correcta debido a que son obtenidos mediante construcciones. En esta tesis presentaremos una solución general, que no sólo produce un controlador para la nueva especificación y maneja la transición de uno a otro, sino que también,fuerza al sistema a que alcance un estado en el cual la transición puede ocurrir de manera segura. Finalizando, desarrollaremos varios casos de estudio utilizando la herramienta MTSA (Mo-dal Transition System Analyser) que nos permite efectuar la síntesis de controladores. Los casos de estudios fueron tomados de trabajos previos sobre actualización dinámica y sistemas adaptables lo que nos permite hacer un trabajo comparativo entre nuestros resultados y los obtenidos previamente. |
publishDate |
2014 |
dc.date.none.fl_str_mv |
2014-09-14 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/bachelorThesis info:eu-repo/semantics/publishedVersion http://purl.org/coar/resource_type/c_7a1f info:ar-repo/semantics/tesisDeGrado |
format |
bachelorThesis |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
https://hdl.handle.net/20.500.12110/seminario_nCOM000463_Nahabedian |
url |
https://hdl.handle.net/20.500.12110/seminario_nCOM000463_Nahabedian |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
https://creativecommons.org/licenses/by-nc-sa/2.5/ar |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
publisher.none.fl_str_mv |
Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital (UBA-FCEN) instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales instacron:UBA-FCEN |
reponame_str |
Biblioteca Digital (UBA-FCEN) |
collection |
Biblioteca Digital (UBA-FCEN) |
instname_str |
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
instacron_str |
UBA-FCEN |
institution |
UBA-FCEN |
repository.name.fl_str_mv |
Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
repository.mail.fl_str_mv |
ana@bl.fcen.uba.ar |
_version_ |
1844618756578344960 |
score |
13.070432 |