仮想化車両における機能安全は、不正メモリアクセスを物理的に拒絶する半導体ハードウェアの能力に完全に依存しています。本記事では Arm Stage-2 変換と SMMU の低レベル動作を詳解します。
各 VM は 0x0 番地から RAM を独占していると認識します。ハイパーバイザは VTCR_EL2 および VTTBR_EL2 レジスタを設定し、中間アドレスを衝突のないホスト物理メモリ枠へと確実にマップします。
イーサネットや PCIe デバイスからの DMA 転送は CPU の MMU をバイパスします。SMMUv3 は各ストリーム ID を検証し、Stage 2 コンテキストと照合して不正なアクセスをバス手前で破棄します。