Figure 2: Watchdog detecting overrun conditions. Uppercase F represents each of the counters the watchdog increments accordingly at every hit. Lowercase f represents each task's counter. Overrun conditions are detected as a mismatch between counters. This can be observed in t3 as F3=1 and f3=0, due to SR3 missing a deadline.