Expérience du responsable dans le domaine de l’UE
développement, test d'une bibliothèque et distribution d'un logiciel de taille significative ainsi que de preuves formelles mécanisées; le co-responsable du module, Philippe Ayrault, est expert Sûreté de Fonctionnement système et logiciel, spécialisé dans la vérification et la validation de logiciels embarqués critiques dans différents domaines industriels tel que le transport ferroviaire, le spatial et l'aéronautique, l'automobile et l'énergie. Il a plus de 10 ans d'expérience de gestion de projets nationaux et internationaux en tant que responsable d'un laboratoire d'évaluation. Il est évaluateur expert CERTIFER pour les logiciels critiques.
|