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