Meeting 8 - 27-28 Septembre 2011 - Toulouse

Mardi 27 Septembre 2011

  • 10H-10H30
  • Point Administratif et financier
    • a) Accord consortium
    • b) Versement seconde tranche
    • c) Actions de communication
    • d) Livrables
  • 10h30 -12h30 Exposes
  • Manipulation de termes TOM-EMF (30 min)
    • IRIT : Marie de Roquemaurel, Mamoun Filali IRIT
  • Evolution AADL2Fiacre (30 min)
    • IRIT : Jean Paul Bodeveix, Mamoun Filali
  • Fonctions Fiacre (30 min)
    • LAAS: B. Berthomieu
  • Sondes Fiacre (30 min)
    • LAAS: B. Berthomieu
  • 13H45-15h30
  • Mecanisation de Fiacre en Coq (30 min)
    • IRIT : Manuel Garnacho
  • Elements de retour d'analyse Fiacre ↔ Tina (30 min)
    • IRIT : Faiez Zalila
  • Evolutions TOM-EMF (30 min)
    • LORIA : Jean-Christophe Bach
  • Patrons de verification en Fiacre (20 Min)
    • LAAS : Nouha Abid , IRIT : Arnaud Dieumegard
  • 15h30 Pause
  • 15H45-18H Groupes de travail en parallèle
    • Transfo AADL+Mauve → Fiacre
    • TOM EMF

Mercredi 28 Septembre 2011

  • 09H00-11H00 Groupes de travail en parallèle
  • (Suite Transfo AADL+Mauve → Fiacre
    • TP Patrons de verification en Fiacre)
    • TOM EMF
    • Adele Mauve
  • 11H00 Pause
  • 11H15 - 12h45 Restitution des Groupes de travail
  • 14H00-15H15
  • Discussion Architecture Quarteft (1h30)
    • a) Graphe des transformations Quarteft
    • b) Verification des transformations
  • 15H30 -16H30
    • Suite discussion
    • Communication
    • Livrables
    • Agenda prochaine reunion