Optimización del uso compartido de recursos durante la síntesis conductual de sistemas con modelo de ejecución condicional

Résumé

El objetivo de la investigación recogida en esta memoria de tesis es la aplicación eficiente y optimizada durante la síntsis de alto nivel de la técnica conocida como reuso condicional. Mediante un amplio estudio teórico del problema y los métodos previos propuestos para su tratamiento, se han identificado los aspectos claves que permiten alcanzar una solución global: análisis del flujo de datos y control del sistema, análisis semántico de las expresiones que gobiernan las sentencias condicionales y transformación de la descripción de partida para conseguir un conjunto de operaciones donde el grado de exclusión mutua sea máximo. Siguiendo estas pautas, se proponen tres soluciones diferentes al problema, cada una adecuada a un escenario de síntesis diferente: una primera solución centrada en la detección de exclusión mutua otra solución para la explotación de reuso condicional presíntesis y, por último, una solución que optimiza el reuso condicional durante la fase de planificación. También se incluye un estudio teórico de los aspectos involucrados en la aplicción del reuso en el espacio de iniciaciones, es decir, entre operaciones cuyos datos se producen y consumen en iniciaciones diferentes, lo que no ha sido contemplado por ninguno de los métodos propuestos hasta el momento.