Autoliv :

• Analyses de sécurité et production des éléments pour le dossier de certification vis-à-vis de la norme ISO 26262

• Développement d'un guide de règles de codage et de vérification pour des applications de contrôle moteur

• Analyse des interférences

• Outil d'analyse des dépendances et des interférences (IFFree)

PSA :

• 

  Mise en conformité du processus de développement logiciel vis-à-vis de la norme ISO 26262

Delphi :

• Production des éléments de preuve pour des systèmes ISO 26262 niveau B

Magneti Marelli :

• Vérification du logiciel d'un tableau de bord (conformité MISRA C++, absence d'erreurs run-time) avec Polyspace