Tesis doctoral de Palencia Gutierrez José Carlos
En esta tesis doctoral se estudia el análisis de sistemas de tiempo real en los que se debe verificar el cumplimiento de ciertos requerimientos temporales, principalmente referidos a plazos máximos de ejecución. Esta verificación se realiza mediante el análisis de planificabilidad basado en el cálculo de tiempos de respuesta de peor caso. El estudio se centra en los sistemas multiprocesadores y distribuidos gobernados por eventos y planificados mediante políticas basadas en asignación de prioridades fijas. Dentro de este ámbito no se conocen técnicas exactas de análisis, de manera que parte de la investigación se ha orientado a la búsqueda de técnicas analíticas aproximadas que verifiquen suficientemente el cumplimiento de los requisitos temporales. El trabajo presentado en esta tesis se dirige básicamente a esa búsqueda. Por un lado, se centra en la formalización y optimización de las técnicas de análisis previamente desarrolladas por otros autores, mediante modelos que aproximan el comportamiento real de los sistemas distribuidos de forma que sean analizables, aunque introduciendo con ello cierto pesimismo, que hace que el análisis no resulte exacto pero sí suficiente. Por otro lado, la tesis se centra en la búsqueda de un nuevo modelo que permita reducir el pesimismo en el análisis. el modelo que se propone está basado en tareas con offsets dinámicos, y con su utilización se consiguen mejoras sustanciales frente a los modelos anteriores. También se optimiza el análisis al considerar las relaciones de precedencia en la ejecución de tareas dentro del sistema distribuido. La inclusión de estas relaciones de precedencia cuando se deducen las expresiones analíticas que conducen a la obtención de los tiempos de respuesta hace que se reduzca fuertemente el pesimismo. Este modelo se ha encontrado también adecuado para el análisis de tareas que se suspenden o para el análisis de tareas con prior
Datos académicos de la tesis doctoral «Analisis de planificabilidad de sistemas distribuidos de tiempo real basados en prioridades fijas.«
- Título de la tesis: Analisis de planificabilidad de sistemas distribuidos de tiempo real basados en prioridades fijas.
- Autor: Palencia Gutierrez José Carlos
- Universidad: Cantabria
- Fecha de lectura de la tesis: 01/01/1999
Dirección y tribunal
- Director de la tesis
- Michael Gonzalez Harbour
- Tribunal
- Presidente del tribunal: José María Drake moyano
- Crespo i llorent alfons (vocal)
- Juan Antonio De la puente alfaro (vocal)
- albert Llamosi cases (vocal)