Sviluppare un sistema operativo automotive completo secondo lo standard ASIL-D è proibitivo: esige il 100% di copertura MC/DC su ogni riga di codice. La scomposizione ASIL consente di concentrare il rischio in un monitor di sicurezza compatto e certificabile.
Nel modello Doer-Checker, il 'Doer' è un algoritmo avanzato su Linux o QNX che modella la cinematica dell'auto sotto standard ASIL-B. Il 'Checker' è un monitor deterministico leggero su core Cortex-R52 isolato, anch'esso ASIL-B. Se il Doer invia una sterzata pericolosa, il Checker subentra in 5 ms.