This is the "unpack the toolbox" page for Real-time constraints — hard and soft deadlines. The parent note throws a lot of letters at you — ri, Di, Ri, Ci, Ti, n, U, ⌈⋅⌉, ∑. Here we earn each one, in order, before it is ever used in a formula.
Before any symbol, we need the thing the symbols describe.
Picture a factory worker (the task) who does the same chore many times a day (each chore is a job). We label tasks with a subscript i: task 1, task 2, task 3 — written taski. The subscript is just a name tag so we can talk about "the i-th task" without drawing a picture of each one.
Everything in real-time lives on a single horizontal time axis, seconds increasing to the right. Three moments matter for one job.
Why three separate ideas? Because "when work arrives", "when it's due", and "how long it actually took" are genuinely different questions, and a deadline is a statement relating all three.
A job needs some amount of CPU time to finish. But that amount varies run to run — a cache miss, a longer input, a branch taken — so a single number won't do. We must pick which number.
Note Ci is a duration (seconds of CPU), just like Ri and Di. Keeping these three "seconds" quantities straight is half the battle.
Many real-time tasks are periodic — they release a fresh job every fixed interval. The spacing is the period.
The difference between periodic tasks and event-triggered ones is covered in Periodic vs Aperiodic Tasks. For now hold the picture: a metronome ticking every Ti seconds, and each tick a job of length up to Ci appears.
Now we can ask the money question: how much of the processor does a task eat?
In one period of length Ti, the task needs (worst case) Ci seconds of CPU. The fraction of that period spent on the task is:
Why a ratio? Because "2 ms of work" means nothing without knowing how often it recurs. 2 ms every 10 ms is light; 2 ms every 3 ms is heavy. The ratio Ci/Ti captures ongoing demand, which is exactly what a shared CPU cares about.
Read top to bottom: raw ideas (task, WCET, period, symbols) combine into the deadline test and the utilisation sum, which together power the classification of deadlines and the schedulability proofs the parent note builds.