Depuracion del comportamiento temporal de sistemas de tiempo real posix basada en mediciones

Tesis doctoral de Joaquin Entrialgo Castaño

En los sistemas de tiempo real tiene especial importancia la corrección temporal, por lo que se han desarrollado técnicas que intentan asegurar que se cumplen los requisitos temporales. Entre estas técnicas destacan los métodos de análisis de planificabilidad, que determinan a partir de un modelo del sistema si es posible obtener los resultados del sistema en los plazos asignados. Por otra parte, se han desarrollado sistemas de monitorización que permiten tomar tiempos del sistema implementado. Las técnicas de análisis de planificabilidad y las herramientas de monitorización no suelen tener relación entre ellas, lo que complica la depuración de los errores de comportamiento temporal. en esta tesis se presenta un método que facilita la depuración de errores de comportamiento temporal relacionando los modelos empleados durante el análisis de planificabilidad con mediciones obtenidas del sistema. El método se aplica a dos tipos de modelos: por un lado, un modelo «tradicional» que se basa en calcular el peor tiempo de respuesta de las tareas del sistema a partir de su peor tiempo de ejecución; por otro, un modelo probabilístico, que calcula la probabilidad de incumplir los plazos máximos de las tareas del sistema a partir de la distribución de probabilidad de sus tiempos de ejecución. el método propuesto en esta tesis facilita la búsqueda automática de errores de comportamiento temporal, basándose en la comparación entre los valores del modelo y las mediciones. Esta comparación se complica en los sistemas analizados con modelos probabilísticos, ya que hay que comparar dos distribuciones de probabilidad. Para realizar esta comparación se proponen dos métricas heurísticas, denominadas «pesimismo» y «optimismo», que son la primera aproximación a un complejo problema no abordado hasta ahora en la investigación de sistemas de tiempo real. con el objetivo de comprobar la aplicabilidad del método, se ha impleme

 

Datos académicos de la tesis doctoral «Depuracion del comportamiento temporal de sistemas de tiempo real posix basada en mediciones«

  • Título de la tesis:  Depuracion del comportamiento temporal de sistemas de tiempo real posix basada en mediciones
  • Autor:  Joaquin Entrialgo Castaño
  • Universidad:  Oviedo
  • Fecha de lectura de la tesis:  31/03/2006

 

Dirección y tribunal

  • Director de la tesis
    • Javier Garcia Martinez
  • Tribunal
    • Presidente del tribunal: José María Drake moyano
    • Espinosa minguet agustin Rafael (vocal)
    • daniel f. García martínez (vocal)
    • Juan Zamorano flores (vocal)

 

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Scroll al inicio