Défense
CAEPE / CELAR / DCN / DETEXIS / DGA / GIAT / SAGEM / SPOTI / THALES
Responsable qualité/évaluation d'un OS pour la Sécurité des Systèmes d'Informations de niveau EAL5.
Audits de conformité (plusieurs projets) des processus de développement des logiciels.
Évaluation de la Sûreté de Fonctionnement et de la Qualité de systèmes automatisés informatisés critiques.
Analyse des Chemins Insidieux des spécifications d'un système à l'aide de l'outil AGFL®.
Étude pour l'élaboration d'une méthodologie de spécification de conception et de contrôle des logiciels de systèmes d'armes à exigences de SdF et de pérennité
Formation à la Sûreté de Fonctionnement du logiciel, aux analyses fonctionnelles et dysfonctionnelles des logiciels.
Expertises des dossiers de sécurité de systèmes automatisés informatisés critiques.
