Часові обмеження незалежні: задача, реакція, послідовність.
Фреймворк має пройти три незалежні часові перевірки: локальні дедлайни задач, наскрізний бюджет реакції і мінімальний час перебування між реконфігураціями.
Задача, реакція, послідовністьРозгорнути розділ
Задача, реакція, послідовність
Фреймворк має задовольняти три різні часові вимоги: плановість задач, наскрізний бюджет реакції на відмову та мінімальний інтервал між повторними реконфігураціями.
θ + R_dec + t_hot ≤ t_max(mode)
Δt_reconf ≥ τd
Що отримано для еталонної реалізаціїРозгорнути розділ
Що отримано для еталонної реалізації
Для набору задач фреймворку отримано сумарне завантаження U = 0.396 при межі 0.735, а найгірше відношення R/D становить лише 0.176. Отже, набір задач є планованим із добрим запасом.
Наскрізний час реакції складається з виявлення, прийняття рішення та гарячого переключення. Для базової реалізації одержано t_reaction = 82.30 мс, а найкращий досяжний результат після оптимізації — 54.80 мс.
Вузьким місцем є не DecisionEngine, а перемиканняРозгорнути розділ
Вузьким місцем є не DecisionEngine, а перемикання
Ключовий висновок: обмеженням є не алгоритм вибору конфігурації, а механізм переходу t_hot. Щоб виконати вимогу режиму DEGRADED, час гарячого переключення має бути зменшений до t_hot ≤ 30.2 мс.