Desarrollar un sistema operativo de automoción completo bajo el estándar ASIL-D resulta inviable: exige cobertura MC/DC del 100% en cada línea. La descomposición ASIL permite concentrar el riesgo en un monitor de seguridad compacto y demostrable.
En el esquema Doer-Checker, el 'Doer' es un algoritmo complejo en Linux o QNX que calcula la dinámica del vehículo bajo ASIL-B. El 'Checker' es un supervisor determinista y ligero en un Cortex-R52 aislado, también ASIL-B. Si el Doer ordena una maniobra que excede la adherencia, el Checker frena en 5 ms.