機能安全エンジニアが FMEDA 分析を実施し、単一障害メトリック（SPFM > 99%）および潜在障害メトリック（LFM > 90%）を数学的に証明する実務手法。
ISO 26262 ASIL-D では、単一障害メトリック（SPFM）が 99% 以上であることが義務付けられています。この基準を達成するには、従来の単純なパリティチェック（カバレッジ 60〜90%）では不十分です。バックグラウンドスクラビング付きのハードウェア ECC とデュアルコアロックステップを組み合わせることで、初めて 99.5% 以上の診断カバレッジを証明できます。