Теорема ЧМА 2

Для набора N независимых периодических задач, где C_i и T_i, i = 1, 2, …, N, являются их временем выполнения и периодом соответственно, и, принимая, что критический срок выполнения задачи равняется периоду задачи, задачи диспетчируемы на основе ЧМА (то есть они будут всегда выполняться в их критический срок), тогда и только тогда, когда выполняется следующее условие:

где минимум рассчитан как , и

Обозначения и означают наибольшее целое число меньшее чем или равняющееся выражению и наименьшее целое число большее или равное выражению - то есть функции округления до целого вверх и вниз - соответственно.

Таблица 6: Характеристики трех задач, обсуждаемых в Примере 5.