Функциональная безопасность в виртуализированном автомобиле зависит от аппаратного запрета несанкционированного доступа к памяти через Arm Stage-2 и SMMU.
Каждая VM считает, что владеет памятью с адреса 0x0. Гипервизор настраивает регистры VTCR_EL2 и VTTBR_EL2, сопоставляя адреса IPA с изолированными блоками физической RAM.
Запросы DMA от сетевых плат обходят MMU процессора. Блок SMMUv3 проверяет Stream ID, сопоставляет их с контекстом Stage-2 и блокирует любые несанкционированные обращения к памяти.