Mejora de los test de planificabilidad para asignación incremental de tareas en sistemas multiprocesadores de tiempo real

[EN] During the design of a Real-Time Multiprocessor System, schedulability tests are a key component of the task allocation algorithms. Using exact schedulability tests increases the efficiency of these allocation algorithms, but the execution cost to validate a task partition is also greatly increased. Although several improvement to these schedulability test have been recently published, their use in the multiprocessor context is still unaddressed. This work presents several improvements to execution costs of the schedulability test when they are used by task allocation algorithms taking advantage of the incremental nature of this allocation process.
[ES] Durante la etapa de diseño de un sistema multiprocesador de tiempo real, los test de planificabilidad son una parte clave de los algoritmos de asignación de tareas. El uso de test de planificabilidad exactos permite aumentar la eficiencia de los algoritmos de asignación a costa de un incremento en el tiempo de computo necesario para validar una partición. Aunque existen varios estudios que mejoran el rendimiento de dichos test de planificabilidad, ninguno se ha centrado en el contexto en que dichos test se utilizan. Este trabajo presenta diversas mejoras en los test de planificabilidad exactos basándose en la naturaleza incremental del proceso de asignación.
Este trabajo se encuentra parcialmente financiado por el proyecto MUSES (PAID/20101002) del Vicerrectorado de Investigacion de la Universidad Polit ´ ecnica de Valencia, el proyecto ´ HI-PartES (TIN2011-28567-C03-03) del Ministerio de Ciencia e Innovacion y el proyecto MultiPARTES (FP7-ICT-287702) de la Union Europea.