⚙️ Scheduling Lab — live schedulability analysis

Edit any Period (T) or WCET (C) and everything recomputes instantly: utilization, the RM bound, and full response-time analysis. Assumes independent, preemptive, periodic tasks with D = T.

Load:

Task	Period T	WCET C	Uᵢ = C/T	RM prio	WCRT (Rᵢ)	Rᵢ ≤ T?

Total utilization U = Σ Cᵢ/Tᵢ

–

1.0

Green fill = within RM bound · amber = between RM bound and 1.0 · red = over 1.0. White tick = RM bound.

RM utilization test (sufficient) –

U ≤ n(2^(1/n) − 1)

EDF utilization test (exact) –

U ≤ 1

Response-time test (RM) (exact) –

every Rᵢ ≤ Dᵢ ?

Response-Time Analysis — iteration steps

Formulas — RM bound: U ≤ n(2^(1/n) − 1) · RTA: Rᵢ = Cᵢ + Σ_j∈hp(i) ⌈Rᵢ/Tⱼ⌉·Cⱼ, iterated to a fixed point. RM priority = shorter period → higher priority. hp(i) = higher-priority (shorter-period) tasks.