Comment l'isolation formelle du micro-noyau empêche le code télématique non sécurisé d'interférer avec les pilotes PWM haute tension.
Tasks cannot open IPC channels or map memory buffers to physical contactor registers without explicit, unforgeable capability tokens.