Hipervisores Tipo-1 vs. Microkernels para HPCs Automotivos Centralizados

Análise da virtualização por hardware em núcleos ARM Cortex-A78AE e Cortex-R52 para consolidação veicular de criticidade mista.

Segurança de Memória e FFI

Comprovação de FFI sob ISO 26262-6 ao executar Linux junto a partições ASIL D no mesmo chip.

Explorar Portfólio de Domínios