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
Biblioteca Digital (UBA-FCEN)
Institución
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
OAI Identificador
seminario:seminario_nCOM000463_Nahabedian

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