Automatisation de la traçabilité formelle depuis les Objectifs de Sécurité et les Exigences de Sécurité Fonctionnelle jusqu'au code source MISRA C et à la couverture structurelle MC/DC.
Décomposition des objectifs de haut niveau de l'Analyse des Dangers et Évaluation des Risques (HARA) en Exigences Techniques de Sécurité associées à des ECU zonaux spécifiques et à des îlots ASIL.
Application d'une couverture Condition/Décision Modifiée (MC/DC) de 100 % sur les modules de contrôle C/C++ critiques pour la sécurité, via des bancs d'essai hardware-in-the-loop et des harnais de tests unitaires.