|
Lundi, 26.01.2009 | |
| 9:00 - 9:50 | Accueil |
| 9:00 - 9:50 | Bienvenue: Introduction d'AFADL09 Président(e)s de Session: Christel Seguin, Mamoun Filali Amine |
| 10:00 - 12:30 | Tutoriel: Vérification formelle de logiciel avionique critique |
| 12:30 - 14:00 | Déjeuner |
| 14:00 - 16:00 | Session 1: Modélisation de domaine et retour d'expérience |
| 16:00 - 16:20 | Pause |
| 16:20 - 17:00 | Session 2: Présentations courtes |
|
Mardi, 27.01.2009 | |
| 9:20 - 10:40 | Session 3: Formalisation et raffinement dans les phases amont |
| 10:40 - 11:00 | Pause |
| 11:00 - 12:20 | Session 4: Formalisation d'architecture et co-raffinement |
| 12:20 - 14:00 | Déjeuner |
| 14:00 - 15:00 | Invitée : Julia Lawall (University of Copenhagen, Denmark) - A
Foundation for Flow-Based Program Matching Using Temporal Logic and
Model Checking |
| 15:00 - 15:40 | Session 5: Présentations courtes |
| 15:40 - 16:00 | Pause |
| 16:45 - 17:45 | Invités : Insertion des méthodes
formelles dans les processus de conception des systèmes : dogmes,
pratiques et évolutions Président de Session: Emmanuel Ledinot |
| 19:00 - 23:00 | Visite et dîner au museum d'histoire naturelle |
|
Mercredi, 28.01.2009 | |
| 9:00 - 10:00 | Invité : Sébastien Bardin (CEA LIST) - Approche concolique
pour la génération automatique de tests à partir de code |
| 10:00 - 10:20 | Pause |
| 10:20 - 12:20 | Session 6: Test |
| 12:20 - 12:30 | Conclusion Président(e)s de Session: Christel Seguin, Marc Pantel |
| 12:30 - 14:00 | Déjeuner |