[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, ...