Desenvolver um SO automotivo completo em padrão ASIL-D é inviável: exige 100% de cobertura MC/DC e testes exaustivos em cada linha. A decomposição ASIL permite isolar o risco crítico em um monitor de segurança compacto e comprovável.
No padrão Doer-Checker, o 'Doer' é um algoritmo avançado em Linux ou QNX calculando a dinâmica do carro sob padrão ASIL-B. O 'Checker' é um monitor simples e determinístico em núcleo Cortex-R52 isolado, também ASIL-B. Se o Doer pedir uma curva que exceda a aderência, o Checker intervém em 5 ms.