数百万行に及ぶ車載 OS や自動運転経路計画ソフトウェアの全コードを ASIL-D 基準で開発することは、コスト的にも納期面でも非現実的です。全行に 100% の MC/DC カバレッジテストが義務付けられるからです。ASIL 分解を活用すれば、重大リスクを極小の検証可能な安全監視モジュールに封じ込めることができます。
古典的な Doer-Checker パターンでは、「Doer」は Linux や QNX 上で高度な車両運動学を計算する大規模アルゴリズムであり、ASIL-B で開発されます。「Checker」は物理分離された Cortex-R52 上で稼働する軽量な物理安全限界監視プログラム（こちらも ASIL-B）です。Doer が路面摩擦限界を超える危険な操舵角を出力した場合、Checker が 5ms 以内に介入して指令を上書きし、安全を確保します。