Автоматизация формальной прослеживаемости от целей безопасности и требований к функциональной безопасности вплоть до исходного кода MISRA C и структурного покрытия MC/DC.
Декомпозиция целей верхнего уровня анализа опасностей и оценки рисков (HARA) в технические требования безопасности, привязанные к конкретным зональным ЭБУ и ASIL-островам.
Обеспечение 100% покрытия по методике Modified Condition/Decision Coverage (MC/DC) для критичных по безопасности модулей управления на C/C++ с помощью стендов hardware-in-the-loop и модульных тестовых комплектов.