Automatisierung der formalen Rückverfolgbarkeit von Sicherheitszielen und funktionalen Sicherheitsanforderungen bis hin zum MISRA-C-Quellcode und zur strukturellen MC/DC-Abdeckung.
Zerlegung übergeordneter HARA-Ziele (Hazard Analysis and Risk Assessment) in technische Sicherheitsanforderungen, die konkreten Zonen-ECUs und ASIL-Inseln zugeordnet werden.
Durchsetzung einer 100%igen Modified Condition/Decision Coverage in sicherheitskritischen C/C++-Steuerungsmodulen mittels Hardware-in-the-Loop-Prüfständen und Unit-Test-Frameworks.