Tesis doctoral de Miguel Riesco Albizu
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.
Datos académicos de la tesis doctoral «Especificación de sistemas reactivos distribuidos utilizando estelle síncrono«
- Título de la tesis: Especificación de sistemas reactivos distribuidos utilizando estelle síncrono
- Autor: Miguel Riesco Albizu
- Universidad: Oviedo
- Fecha de lectura de la tesis: 13/02/2002
Dirección y tribunal
- Director de la tesis
- Tuya González Pablo Javier
- Tribunal
- Presidente del tribunal: José Antonio Lopez brugos
- Miguel Toro bonilla (vocal)
- joan Vinyes i sanz (vocal)
- Antonio De amescua seco (vocal)