Aéronotique/Spatial
AUXITROL / CNES / DASSAULT AVIATION / EADS / ESA
Responsable V&V indépendant (AMDEC, Analyse statique, couverture des tests, …) d'un logiciel aéronautique classe A.
Tests Unitaires et tests d'Intégration d'un logiciel aéronautique classe A.
Analyses des Modes de Défaillance et de leurs Effets (AMDE) d’un logiciel de sécurité à l'aide de la méthode outillée AGFL®.
Évaluation de la couverture des Tests Unitaires d'un code à l'aide de la méthode outillées AGFL®.
Réalisation des preuves formelles de logiciels avec PVS.
