Rueil Malmaison2008 - maintenantProgrammation de la future voiture hybride.
Développement un code embarqué sur la future voiture hybride de Peugeot et Citroën.
Convertion de model Matlab/Simulink à l'aide de TargetLink pour générer automatiquement du code au standard AUTOSAR.
Mise en place d'une méthode de travail pour la génération du code en collaboration avec différentes équipes.
Dassault Aviation
- Thésard
Saint-Cloud2005 - 2008J'étudie la faisabilité de l'utilisation de la preuve formelle afin de certifier des programmes critiques embarqués.