Cet enseignement est une introduction au traitement de l'image et à la reconnaissance des formes qui permet d'aborder les UEs suivantes (tdi, aiv, tsi).
Expérience du responsable dans le domaine de l’UE
Enseignant-chercheur au Laboratoire d'Electronique et d'Informatique de l'ENSTA. Son domaine de recherche concerne principalement l'algorithmique de traitement d'images pour les architectures parallèles et les systèmes embarqués, ainsi que la géométrie discrète. Il enseigne le traitement d'images à l'ENSTA et à l'Université Paris 6 (Master IAD) depuis plusieurs années. Son activité, autant en recherche (contrats de transfert industriel), qu'en enseignement (prospection, gestion et suivi des stages, organisation de visites) est caractérisée par une implication forte dans les relations entre étudiants, laboratoires et industriels.
Réalisations du responsable dans le domaine de l’UE
Acronyme : test
Spécialité : STL
3 ECTS
Niveau : 500
Semestre : S4
Titre : Tests
Responsable : Valérie MENISSIER-MORAIN
Répartition hebdomadaire ou semestrielle
(30h/7 semaines)
Contenu
Compréhension de la place des techniques de test au long du cycle de vie du logiciel. Compréhension de leur nécessité et de leur limite. Réalisation de tests, compréhension de l'utilisation de bancs de test.
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.
Réalisations du responsable dans le domaine de l’UE
Philippe Ayrault a été responsable de l'évaluation de sécurité du nouveau Poste de Manoeuvre Informatisé de la RATP mis en service en novembre 2005.
Philippe Ayrault a participé à l'évaluation de la plateforme de vibration Hydra à l'ESA.
Valérie Ménissier-Morain a réalisé la bibliothèque libnums de Caml V3.1, Caml Light et Objective Caml, organisé la première diffusion de Caml en ftp anonyme, testé la bibliothèque libnums et participé à l'élaboration des tests de non-régression du logiciel entier.
Valérie Ménissier-Morain a prouvé avec Catherine Dubois la correction et la validité de l'algortihme W de typage de Caml dû à Damas et Milner.
Philippe Ayrault a participé à la validation de nombreux logiciels avec des clauses de confidentialité.
