Разработка всей ОС автомобиля и алгоритмов планирования по стандарту ASIL-D экономически невозможна: каждая строка требует 100% покрытия тестами MC/DC. Декомпозиция ASIL позволяет локализовать риски в компактном, математически проверяемом мониторе безопасности.
В схеме Doer-Checker модуль «Doer» — это сложный алгоритм на Linux или QNX, рассчитывающий динамику по стандарту ASIL-B. Модуль «Checker» — легковесный детерминированный монитор физических границ на ядре Cortex-R52 (также ASIL-B). При опасной команде от Doer Checker перехватывает управление за 5 мс.