On Improving Schedulability Tests with Incremental Task Allocation in Real-Time Multiprocessor Systems

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.