Diseño y evaluación de una metodología de análisis de comportamiento de sistemas de tiempo real, implementados sobre arquitecturas paralelas de memoria distribuida

Resumen

Esta tesis se enmarca dentro del contexto general de investigación del Area de Arquitectura y Tecnología de Computadores de la Universidad de Oviedo, relativa a la medición, modelado y análisis de sistemas paralelos y distribuidos. Dentro de dicha investigación, se consideran de especial interés los sistemas industriales empotrados, en los cuáles las restricciones de tiempo real son importantes. En concreto, esta tesis se ha planteado como precursora de la línea de investigación sobre análisis de Sistemas Paralelos de Tiempo Real (SPTR). Con objeto de marcar unos objetivos claros en la parte de desarrollo de la tesis, se lleva a cabo en primer lugar un estudio comparativo de los diferentes enfoques en el análisis encontrados en la literatura sobre el tema. En dicho estudio y con objeto de obtener una amplia visión, se abordan tanto los trabajos que consideran SPTR como objetivo de análisis, como los que consideran únicamente una de las dos características fundamentales, es decir, paralelismo o tiempo real. Como resultado del estudio se detectan ciertas carencias en el análisis de SPTR: el no tratamiento simultáneo de los aspectos de medición, tiempo real y metodología y, en especial, la no existencia de metodologías claras de análisis, siendo éste el aspecto que se marca como prioritario en la tesis. Las aportaciones de la tesis se plantean entonces en torno a la concepción de una metodología de análisis de SPTR, justificando su interés tanto en la fase de diseño como en la de implementación final, dentro del ciclo de desarrollo de estos sistemas. Además de la definición del marco general de la metodología y de los pasos que la componen, se ha profundizado especialmente en ciertos aspectos de la misma. Por una parte se ha diseñado un modelo de comportamiento temporal del SPTR que va a constituir la base de su análisis. Por otra parte se ha definido un conjunto de métricas de análisis a partir