Projetando um Microkernel ASIL D para Recarga de VE em Alta Potência

Como o isolamento formal por microkernel impede que código telemático interfira em drivers PWM de alta tensão e intertravamentos de segurança.

Controle de Acesso Baseado em Capacidades

Tarefas não acessam registradores de contatores sem tokens de capacidade explícitos.