Especificación de sistemas reactivos distribuidos utilizando estelle síncrono

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.