Domaine d’expertise technique :

 

  • Evaluation de la Sûreté de Fonctionnement des Logiciels critiques dans des systèmes embarqués de domaines divers (Ferroviaire, Aéronautique, Nucléaire, Automobile, Médicale,  …)
  • Analyse des documents de Spécification, d’Architecture et de Conception Logiciel vis-à-vis des normes (EN 50128, CEI 61508-3, DO178-B, …)
  • Analyse statique de Code développé en C, C++, ADA, VHDL, JAVA, Assembleur
  • Analyse des Tests Unitaires, d’Intégration et de Validation Logiciel
  • Analyse de défaillances du logiciel : AMDEC Logiciel, AEEL
  • Traçabilité de la documentation Logiciel jusqu’au Code (Exigences de sécurité raffinées en Spécification Logiciel et jusqu’au code source)
  • Audit de processus du cycle de développement du logiciel (Plan Qualité Logiciel, Plans liées aux processus, interview, …)