| Type | How It Works | Detects |
|---|---|---|
| Alive | App reports checkpoint periodically; PHM checks regularity | Deadlock, infinite loop, complete process hang |
| Deadline | PHM measures time between two named checkpoints (A → B); must be within [min, max] | Timing violation, task overrun |
| Logical | App traverses a defined graph of checkpoints; PHM checks correct ordering | Incorrect control flow, skipped initialisation steps |
💡 ASIL Contribution
Each supervision type contributes to the Diagnostic Coverage (DC) metric in the ISO 26262 safety case. Alive supervision achieves ~90% DC for deadlock faults; Logical supervision adds coverage for incorrect execution paths.