IX Jornadas de Informática e Investigación Operativa

8 al 12 de noviembre de 2004
Montevideo, Uruguay

Instituto de Computación, Facultad de Ingeniería, PEDECIBA Informática, Universidad de la República
navegacion

  • PÁGINA PRINCIPAL

  • LLAMADO

  • RECEPCIÓN DE RESUMENES

  • PROGRAMA

  • MODERADORES

  • SESIONES


  • LINKS
    • FACULTAD DE INGENIERÍA

    • INSTITUTO DE COMPUTACIÓN

    • EDICIÓN ANTERIOR

      COMITE ORGANIZADOR:
      • Daniel Calegari
      • Diego Garat
      • Antonio Mauttone
      • Franco Robledo
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