Réunion de lancement / kick-off meeting

June 5, 2007, Grenoble

• J.-P. Talpin (INRIA-ESPRESSO)
• F. Maraninchi, N. Halbwachs, P. Raymond, M. Moy, K. Altisen (VERIMAG)
  

• 10h-10h30 : revue de la proposition, et des projets existants en rapport avec FoToVP
  
• 10h30-11h30 : J.P. Talpin
  Extraction de modèles en passant par la forme SSA des compilateurs de la famille C,
  et traduction en Signal ; application à SystemC
  
• 11h30-12h30 : discussion globale sur l'exploitation de SSA
• 12h30-14h : déjeuner et discussion sur les profils des postes de CDD à envisager.
  
• 14h-15h : F. Maraninchi et M. Moy
  Principes des chaînes de traduction de SystemC vers des modèles formels,
  illustration avec le formalisme HPIOM de Verimag.
• 15h-16h : discussion globale sur HPIOM et une idée de modèle mixte HPIOM-SSA
• 16h-17h: Nicolas Halbwachs
  Traduction d'AADL en Lustre pour le prototypage virtuel des systèmes avioniques
  
  

• Profils des postes de CDD
• Plan de travail collaboratif sur les modèles mixtes HPIOM / SSA