Hot-swap : una técnica para la generación y actualización automática de controladores discretos en tiempo de ejecución

Mostrar todas las versiones(2)

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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Nahabedian, Leandro Ezequiel
Otros Autores: D’Ippolito, Nicolás Roque
Formato: Tesis de grado publishedVersion
Lenguaje:Español
Publicado: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2014
Materias:
SINTESIS DE CONTROLADORES
LTS
ACTUALIZACION DINAMICA
SISTEMAS ADAPTABLES
Acceso en línea:https://hdl.handle.net/20.500.12110/seminario_nCOM000463_Nahabedian
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id seminario:seminario_nCOM000463_Nahabedian
record_format dspace
spelling seminario:seminario_nCOM000463_Nahabedian2023-09-12T13:13:24Z 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 D’Ippolito, Nicolás Roque SINTESIS DE CONTROLADORES LTS ACTUALIZACION DINAMICA SISTEMAS ADAPTABLES 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. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2014-09-14 info:eu-repo/semantics/bachelorThesis info:ar-repo/semantics/tesis de grado info:eu-repo/semantics/publishedVersion application/pdf spa info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar https://hdl.handle.net/20.500.12110/seminario_nCOM000463_Nahabedian
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
language Español
orig_language_str_mv spa
topic SINTESIS DE CONTROLADORES
LTS
ACTUALIZACION DINAMICA
SISTEMAS ADAPTABLES
spellingShingle SINTESIS DE CONTROLADORES
LTS
ACTUALIZACION DINAMICA
SISTEMAS ADAPTABLES
Nahabedian, Leandro Ezequiel
Hot-swap : una técnica para la generación y actualización automática de controladores discretos en tiempo de ejecución
topic_facet SINTESIS DE CONTROLADORES
LTS
ACTUALIZACION DINAMICA
SISTEMAS ADAPTABLES
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.
author2 D’Ippolito, Nicolás Roque
author_facet D’Ippolito, Nicolás Roque
Nahabedian, Leandro Ezequiel
format Tesis de grado
Tesis de grado
publishedVersion
author Nahabedian, Leandro Ezequiel
author_sort Nahabedian, Leandro Ezequiel
title Hot-swap : una técnica para la generación y actualización automática de controladores discretos en tiempo de ejecución
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
publisher Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
publishDate 2014
url https://hdl.handle.net/20.500.12110/seminario_nCOM000463_Nahabedian
work_keys_str_mv AT nahabedianleandroezequiel hotswapunatecnicaparalageneracionyactualizacionautomaticadecontroladoresdiscretosentiempodeejecucion
_version_ 1782031588322705408

Ejemplares similares