Título: Análisis del Tiempo de Ejecución en el Peor Caso Marco de Trabajo: PROYECTO GRADO Área de desarrollo: Análisis de Algoritmos Autor: Gustavo Mazeikis Contacto: mazeikis@adinet.com.uy Día: VIERNES Hora: 11:30:00 Palabras Claves: Real Time Systems, Worst Case Execution Time Analysis, Simbolic Evaluation Resumen: Mi propósito es brindar una introducción al problema de la determinación estática del Tiempo de Ejecución en el Peor Caso (WCET) de una aplicación y un enfoque para la determinación automática del mismo. En lo referente al problema general de la determinación del WCET detallo las características del análisis y sus aspectos más salientes: el análisis de flujo, el análisis de bajo nivel y los métodos de cálculo. También la relación entre la compilación y el análisis WCET. La determinación automática del WCET pretende derivar estimaciones a partir del código fuente. El enfoque a presentar es el basado en Evaluación Simbólica y métodos de eliminación propuesto por Johann Blieberger, de la Universidad Técnica de Viena. En su trabajo propone una serie de frameworks basados en ecuaciones de flujo y su resolución por algoritmos de eliminación, en lugar de algoritmos iterativos. La Evaluación Simbólica es una forma de análisis estático de programas que usa expresiones simbólicas para denotar valores de variables y condiciones de camino para describir el impacto del control de flujo sobre los mismos. |
Ultima modificacion 5 de Octubre 2004 16:30 |