# Watchdog and recovery timing
# Scope: Watchdog interval screen from maximum service interval and timing uncertainty.
# Status: illustrative worked example; engineering review pending.
# Inputs are example values. Checks are editable example requirements, not standards.

serviceInterval = 100 ms
jitter = 20 ms
timeout = 200 ms

required := serviceInterval+jitter [ms]
margin := timeout-required [ms]

check watchdog margin positive: margin > 0 ms

scenario alternative: serviceInterval = 80 ms