Meeting 6 - 22-23 Février 2011 - Toulouse

Mardi 22 Février 2011

  • 09h00-10h00 : Accueil
  • 10h00-12H00 : Exposés techniques
    • Verification par observateurs, S. Dalzilio
    • Evolution sur TOM EMF  JC Bach
    • Meta-Modele Fiacre M. Pantel
  • 14h00-15H30 : Exposés techniques
    • Mauve  D. Doose
    • Transformation AADL vers RT-Fiacre  JP Bodeveix
    • Approches pour la verification semantique M. Filali
    • Etude de cas Airbus P. Farail
  • 15h45-18H00 : Discussions
    • Perimetre AADL/Mauve
    • Evolution des besoins RT-Fiacre
    • “Architecture” Quarteft

Mercredi 23 Février 2011

  • 09h00-09H30 : Point Administratif / Livrables / Accord de consortium
  • 09h45-12H30 : Session en Groupes
    • RT-Fiacre
    • Evolution TOM
    • Travaux Pratiques TOM ?
  • 14H00-15H15 : Restitution des groupes de travail
  • 15H30-16H30 : Discussions generales
    • Action de communication