Análisis y evaluación de la planificación de sistemas distribuidos de tiempo real. Aplicación a tecnologías de la rehabilitación

Zusammenfassung

La tesis presenta un nuevo método para el análisis de la planficaciónde un sitema distribuido de tiempo real duro (denominado método Miceds: máxima interferencia entre dos secuencias). Es aplicable al cálculo del tiempo de respuesta principio a fin (END-TO-END) de los procesos, integrado el efecto de los canales de comunicación. El método Micedes es pespcialmente efectivo cuando existen relaciones de dependencia entre las tareas que forman los procesos. Se basa en hacer una estimacióndel tiempo máximo de cada proceso para comprobar la viabildiad de la planificación. Los tiempos de respuesta estimados son de 10 a un 20% mejores que los que se estiman por otros métodos (La mejora depende de las características del sistema al que se aplica). Aporta, además, una formulación matricial del análisis de planificación y de los parámetros asociados al modelo. La fomulación incorpora explícitamente las realaciones de dependencia en la estructura de las matrices. La formulación matricial se usa para comparar los tipos de análisis de la planficación existentes y con el nuevo método presentado en la tesis. Se hace, finalmente, una demostración formal de la validez del metódo Miceds.