Mathieu Watel
Ingénieur concepteur IA, Incka
38 contactsThalès communications
Projet STCA (Socle Technique Commun Applicatif)
Participation au développement d'un socle applicatif destiné à accueillir différents systèmes d'informations de l'armée de terre.
Projet SICF (Système d'Information et de Commandement des Forces)
Participation au développement du système ainsi qu'aux phases de recueil du besoin, spécification des exigences, conception détaillée.
- développement d'un outil de programmation par contraintes
- développement d'un système expert
- développement d'un outil de programmation linéaire
- optimisation combinatoire
- OSGi, Java 5 SE, Maven, ClearCase, Eclipse 3.4.1
Grande participation à la définition de l'architecture de différents composants du système.
2005 - 2007Projet RNTL DANOCOPS (Août 2005 - Mars 2007)
Développement d'un outil multi plates-formes de détection automatique de non-conformités d'un programme par rapport à ses spécifications, décrites dans un langage d'assertion (JML dans le cas de Java).
Partenaires : THALES Systèmes Aéroportés, I3S, LIFC, LSR.
Environnement : Windows XP/Linux, Java 5.0SE, Eclipse 3.2, SICStus Prolog, JDT, Draw2D, CVS.
=================================================================
Projet RNTL InKa (Jan. 2005 - Mars 2007)
Poursuite du développement d'un outil multi plates-formes de génération automatique déterministe de cas de tests structurels traitant les langages C, C++, Java.
Partenaires : THALES Systèmes Aéroportés, I3S, LIFC, LSR.
Environnement : Windows/Linux, Java 5.0SE, Eclipse 3.2, SICStus Prolog, JDT, Draw2D, CVS.
2004 - 2004Développement d'outils de prospective stratégique (Jan 2004 - Juin 2004)
- Recherches sur la programmation linéaire et non-linéaire pour la minimisation de forme quadratique soumise à contraintes (méthode de Lemke-Howson).
- Utilisation d'algorithmes génétiques et du recuit simulé pour le placement de composants graphiques.
Environnement : Windows XP, C#, .NET, Visual Studio, GDI+.