
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