English español
Search
 

Repositorio de la Universidad de Oviedo. > Producción Bibliográfica de UniOvi: RECOPILA > Tesis >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10651/16532

Title: Especificación de sistemas reactivos distribuidos utilizando estelle síncrono
Author(s): Riesco Albizu, Miguel
Advisor: Tuya González, Pablo Javier
González Alonso, Oliverio
Other authors: Informática, Departamento de
Issue date: 13-Feb-2002
Format extent: 247 p.
Abstract: La popularización de los sistemas distribuidos ha influido en el desarrollo de todo tipo de sistemas. En esta tesis se analiza su influencia en el desarrollo de sistemas reactivos, llegando a la conclusión de que las técnicas utilizadas en la actualidad no son adecuadas para el desarrollo de sistemas reactivos distribuidos. Ante este resultado se propone una técnica nueva, basada en autómatas jerárquicos y paralelos, donde se aúnan las paradigmas síncronos y asíncronos para desarrollar este tipo de sistemas. Para demostrar la validez de la propuesta se ha implementado un conjunto de herramientas para realizar la especificación de sistemas reactivos distribuidos utilizando la técnica diseñada y se ha desarrollado la solución a un problema complejo, como es el conocido como el problema de la caldera de vapor, utilizando estas herramientas. Además, dada la importancia de la velocidad de respuesta del sistema, se ha estudiado la forma de mejorarla, transformando el autómata jerárquico original en un autómata tradicional, mucho más rápido de ejecutar. Se ha implementado una herramienta que lleva a cabo esta traducción y se ha llevado a cabo un estudio empírico comparativo de la evolución de mejora del tiempo de ejecucción y de la ocupación de la especificación equivalente, con el fin de estudiar cuándo puede ser útil realizar la traducción.
URI: http://hdl.handle.net/10651/16532
Identifier: https://www.educacion.gob.es/teseo/mostrarRef.do?ref=266283
Local notes: Tesis 2002-135
Appears in Collections:Tesis

Files in This Item:

There are no files associated with this item.



Exportar a Mendeley


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Base de Datos de Autoridades Biblioteca Universitaria Consultas / Sugerencias