Cada línea de código en modo supervisor implica un riesgo latente. Al extraer controladores y redes del kernel, los microkernels eliminan fallos catastróficos.
Las estadísticas de la industria indican de 1 a 5 fallos por cada 1.000 líneas. En 30 millones de líneas hay miles de fallos latentes; en 10.000 líneas verificadas, tiende a cero.
ISO 26262 exige 100% de cobertura MC/DC para ASIL-D. Lograrlo en 30 millones de líneas es inviable; un microkernel de 10.000 líneas se certifica hasta el ensamblador.