LSR Groupe de Travail AFADL du GDR ALP Journée de rencontre « Techniques Formelles pour le Génie Logiciel » 5 juin 2002 ENST – Paris Préparée par Yves.

Présentation au sujet: "LSR Groupe de Travail AFADL du GDR ALP Journée de rencontre « Techniques Formelles pour le Génie Logiciel » 5 juin 2002 ENST – Paris Préparée par Yves."— Transcription de la présentation:

1 LSR Groupe de Travail AFADL du GDR ALP Journée de rencontre « Techniques Formelles pour le Génie Logiciel » 5 juin 2002 ENST – Paris Préparée par Yves Ledru et Marie-Laure Potet (LSR/IMAG)

2 LSR Bienvenue Première réunion du Groupe de Travail AFADL : Approches Formelles dans lAssistance au Développement de Logiciels Application des méthodes formelles à diverses étapes du développement logiciel Du groupe ADER, au groupe AFADL…

3 LSR 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 lIRISA (Rennes) SPECIF LAMI (Evry) Liste ouverte…

4 LSR Autres participants Industriels –Roland Groz, (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 LSR Latelier AFADL 2003 15-17 janvier 2003 IRISA, Rennes Dates Importantes : Soumission des résumés : 15 juin 2002 Soumission des articles : 30 juin 2002 Notification d'acceptation : 30 septembre 2002 Texte définitif : 15 novembre 2002 Dates des journées : 15-17 janvier 2003

6 LSR Projets daction du GT AFADL Journées de rencontre et soutien aux jeunes chercheurs (support financier du GDR ALP) Autres actions à discuter aujourdhui…

7 LSR Diffusion dinformations Site web (GT + atelier) http://www-lsr.imag.fr/afadl/ Liste e-mail –Ciblée sur les activités du GT –Liste modérée –Inscrivez-vous: http://listes.imag.fr/wws/info/afadl-alp

8 LSR Programme de la journée (1/2) Amphi Grenat 9h30 Ouverture de la journée Marie-Laure Potet et Yves Ledru 9h40 Conception et validation incrémentale de systèmes aéronautiques embarqués Rémi Delmas - Toulouse 10h20 Intégration UML et B : Les schémas de transformation OCL vers B » Hung LEDANG - Nancy 11h00 Pause 11h30 Abstraction de spécification formelle pour la validation d'IHM Irina Sessitskaia et/ou Bruno d'Ausbourg - Toulouse 12h10 Première discussion sur le fonctionnement du groupe 13h00 Pause déjeuner

9 LSR Programme de la journée (2/2) Salle E 800 14h00 TOBIAS : un outil d'aide a la génération d'objectifs de tests Pierre Bontron et/ou Olivier Maury - Grenoble 14h40 Test Structurel de programme C à l'aide de la programmation logique avec contraintes (PLC) : Le problème du passage à l'échelle Karim-Cyril Griche - Grenoble 15h20 Pause 15h40 Systèmes Paramétrés : préservation et reformulation de propriétés dues au raffinement Celina Charlet - Besançon 16h20 Suite de la discussion sur le fonctionnement du groupe 17h00 Fin de la journée

10 LSR Projets daction (1/2) Actions en faveur des jeunes chercheurs –Tutoriels associés à latelier –Ecole dété –Symposium doctoral associé à latelier –Soutien financier

11 LSR Projets daction (2/2) Coopération avec dautres GDRs Rayonnement international –Francophone –Non-francophone Organisation de journées –Rencontre / exposés jeunes chercheurs –Avec dautres GDRs –Présentation de projets (RNTL, RNRT, …)