Marie-Laure Potet et Yves Ledru(LSR/IMAG)

Présentation au sujet: "Marie-Laure Potet et Yves Ledru(LSR/IMAG)"— Transcription de la présentation:

1 Marie-Laure Potet et Yves Ledru(LSR/IMAG)
Groupe de Travail AFADL du GDR ALP Journée de rencontre «Collaborations industrielles du groupe AFADL» 11 juin 2003 ENST – Paris Préparée par Marie-Laure Potet et Yves Ledru(LSR/IMAG)

2 Bienvenue Deuxième réunion du Groupe de Travail
AFADL : Approches Formelles dans l’Assistance au Développement de Logiciels Application des méthodes formelles à diverses étapes du développement logiciel Du groupe ADER, au groupe AFADL du GDR ALP…

3 Equipes Universitaires Participantes
Architectures Logicielles PRISM (Versailles) Conception et Programmation Raisonnée CEDRIC (CNAM, Paris), DEDALE et MODEL LORIA (Nancy) SVF (Spécification et Vérification Formelle) FéRIA (Toulouse) ILR (Ingénierie du Logiciel et des Réseaux) ENST (Paris) Programmation et Génie Logiciel LRI (Orsay) VASCO LSR/IMAG (Grenoble) Techniques Formelles et à Contraintes LIFC (Besançon) Triskell de l’IRISA (Rennes) SPECIF LAMI (Evry) Liste ouverte…

4 Autres participants Industriels A l’étranger Liste ouverte…
(France Télécom R&D) Emmanuel Ledinot (Dassault Aviation, St Cloud) Jean-Louis Lanet (Gemplus) A l’étranger Pascal Gribomont, Université de Liège (Belgique) Liste ouverte…

5 L’atelier AFADL 2003 et 2004 15-17 janvier 2003: IRISA, Rennes
Juin 2004 : LIFC, Besançon

6 Actions du GT AFADL Journées de rencontre et soutien aux jeunes chercheurs (juin 2002) Tutoriels à AFADL 2003 Journée industrielle (aujourd’hui) D’autres suggestions ? … Ces manifestations ont reçu le soutien financier du GDR ALP

7 Diffusion d’informations
Site web (GT + atelier) Nouveau ! afadl.cnrs.fr Liste Ciblée sur les activités du GT Liste modérée Inscrivez-vous: Mails to:

8 Programme de la journée (1/2)
Amphi B312 9h30 Ouverture de la journée Marie-Laure Potet et Yves Ledru 9h40 Projet RNTL BOM (B Optimisant la mémoire) Laurent Voisin (ClearSy) 10h30 Pause 10h50 Projet RNTL ACCORD Bruno Traverson (EDF R&D) 11h40 Projet RNTL LUTIN Xavier Blanc (Softeam - LIP6) du groupe 12h30 Discussion 13h00 Repas

9 Programme de la journée (2/2)
Amphi B312 14h00 Projet RNTL COTRE (COmposants Temps Réels Embarqués) Patrick Farail, Pierre Gaufillet (AIRBUS France) 14h50 Projet RNTL INKA Bernard Botella (Thalès) 15h40 Pause 16h00 Projet RNTL COTE (Component TEsting) Eric Riou du Cosquer (Softeam) 16h50 Conclusion de la journée 17h00 Fin

10 Les discussions Futures actions du groupe
Proposition(s) d’actions spécifiques issues du GT AFADL Pour montrer que le GT est aussi une force de proposition scientifique. En profitant de la présence des industriels pour proposer des thèmes pertinents scientifiquement et industriellement ?

11 Remerciements A tous ceux qui ont bravé les perturbations …
A Sylvie Vignes qui assure l’organisation matérielle de la réunion Aux orateurs industriels

12 Projets d’action (1/2) Actions en faveur des jeunes chercheurs
Tutoriels associés à l’atelier Ecole d’été Symposium doctoral associé à l’atelier Soutien financier

13 Projets d’action (2/2) Coopération avec d’autres GDRs
Rayonnement international Francophone Non-francophone Organisation de journées Rencontre / exposés jeunes chercheurs Avec d’autres GDRs Présentation de projets (RNTL, RNRT, …)