Thus, the schedulability test for EDF is::formula_1where the formula_2 are the worst-case computation-times of the formula_3 processes and the formula_4 are their respective inter-arrival periods (assumed to be equal to the relative deadlines).
Следовательно, тест на возможность планирования для данного алгоритма будет:: formula_1где formula_2 — наихудшее время выполнения formula_3 процессов, а formula_4 — их соответствующий период между сроками наступления (подразумевая, что он равен соответствующим крайним срокам).