Automazione della tracciabilità formale dagli Obiettivi di Sicurezza e dai Requisiti di Sicurezza Funzionale fino al codice sorgente MISRA C e alla copertura strutturale MC/DC.
Scomposizione degli obiettivi di alto livello dell'Analisi dei Pericoli e Valutazione dei Rischi (HARA) in Requisiti Tecnici di Sicurezza mappati su specifiche ECU zonali e isole ASIL.
Applicazione di una copertura Condition/Decision Modificata (MC/DC) del 100% sui moduli di controllo C/C++ critici per la sicurezza, tramite banchi hardware-in-the-loop e test unitari.