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.

Slides:

Advertisements

Présentations similaires

GDRMACS Objectifs thématiques et Structuration

Advertisements

Yassine Lakhnech Prof. UJF Verimag

Bienvenue à Brest. Comme à Louvain, un pré-colloque –Ateliers de formation pédagogique, organisés par lUBO –Environ 40 participants Lappel à communications.

Réseau des chefs de projets rénovation urbaine Journée locale déchanges Le Mans – 13 mai 2011.

Faculté de droit et des sciences économiques

Projet RNRT ICare: Services évolués de signature

État du domaine de la CEM dans les systèmes de transport

1 Laboratoire dInformatique de lUniversité de Franche Comté Présentation SPECIF du 22 janvier 2004 Projet CASSIS FRE 2661.

10ème Journée Thématique AFIS: Pratiques d’Ingénierie Système dans les grands projets 14 Décembre 2010 Toulouse Michel Galinier Chargé de mission Journées.

GDR CASSINI / SIGMA Présentation Janvier 2001.

Nos Partenaires Rencontres ASP.NET : Développement Rapide dApplications Web.

Journée de Diabétologie Hôtel Dieu Cochin 2010

Dassault Aviation représentant le club – Paris – Journées GDR - club de partenaires GDR Robotique – 24 octobre 2008 Page n°1 Journées GDR - 24/10/2008.

Ecdc.europa.eu Jaime ANDREU DG EAC, Unité Communication et Information Marseille, le 15/2/2007 Jeunesse en Action

Activités développées RTP 09 : Bases de données et d'informations hétérogènes et distribuées Actions spécifiques et équipes-projets associées Objectifs.

SYSTEMES DE CONTRÔLE – COMMANDE ET INFORMATIQUE DISTRIBUEE TEMPS REEL

Projet FIACRE 1 ACI Sécurité InformatiqueToulouse, novembre 2004 FIACRE Fiabilité des Assemblages de Composants Répartis Modèles et outils pour lanalyse.

THALES COMMUNICATIONS Projet RNRT SYMPATEX 14 ème réunion davancement E.N.S.T. Paris, 46, rue Barrault Paris 13 ème 01 octobre 2002.

PARTENARIAT LYCEE DE L’ESSOURIAU – UNIVERSITE PARIS-SUD

Réunion CEFRACOR Sud-Est

Activités de Recherche et Intégration à l’Equipe SIMBAD

1 Réunion de rentrée Master 2 Recherche Informatique Vincent Rodin, UBO

SDTICE Séminaire thématique "Au cœur de la FOAD" 21 octobre 2009.

AGENDA (1/4) 9h h00 : administration –changement de « prime » –actions au Ministère –introduction de Akazi –avenant –facturation –articles –convention.

CONTinuité de service en INformatique UbiqUitaire et Mobile

Electronique et rayonnements naturels au niveau du sol 2 e journées nationales consacrée à la mise en place de méthodologies de conception, de qualification.

1 B Système Enjeux et principes Cours DESS Nantes 04 Décembre 2002 Didier ESSAME.

Journée du Groupe Thématique « Test et Tolérance » Amélioration du Rendement et Fiabilité des Mémoires Marseille, 6 mai 2010 GDR SoC – SiP P. Girard –

Bienvenue aux 10 Ans du groupe Bermudes le 16 Juin 2006 à Tours GdR RO.

Atelier webdoc Paris Nanterre Plan MEDEA 2020 Projet européen AUNEGE UNT Objectifs de latelier Déroulement de latelier.

Université Paul Sabatier - Toulouse 3 - Département de GMP Enquête Insertion Professionnelle – Promotion

20ème Anniversaire de l’Université Ibn Tofail

Coordinateur : Y. Ledru (LSR/IMAG)

Jean a vendu, Daniel a acheté, Flavie a créé,

ESUP-Days 6 30 Juin 2008 Université Paris Descartes.

« Génome, adaptation et environnement »

1 -Technologies : FPGAs reconfigurables dynamiques -Méthodes : Méthodologies de Conception de système logicielle/matérielle sur puce -Outillage: environnements.

SCIENCES DE L ’INGENIEUR

Réunion #6 3/07/2007. E. Caron - Réunion #6 - 03/07/07 Planning 10h h40Informations générales sur LEGO [Eddy Caron] 10h h10Déploiement générique.

CAssiopée, un système de vidéosurveillance bancaire

Ouverture Pr Thierry CONROY Mr Bernard DUPONT Pr Henri COUDANE

MODELISATION A LORAL DE LAGREGATION, 21/05/2001 AGREGATION DE MATHEMATIQUES: MODELISATION EN 2002 Lundi 21 mai 2001 Institut Henri Poincaré en présence.

Frédéric ROUSSEAU Université Joseph Fourier – Grenoble (France) TIMA - SLS 46 av. Félix Viallet – Grenoble – France HOSPI.

Karim-Cyril Griche LSR/IMAG

COTRE COmposants Temps REel

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

Lutin RNTL 2001 – Exploratoire – 3 ans Xavier Blanc –

Conception, création et animation d’une classe virtuelle

Etienne Craye – Jean-Marc Faure INCOS GDR MACS INCOS INgénierie de la COmmande et de la Supervision des SED -DES Control and Monitoring Engineering Fusion.

« Conception, Développement et utilisation d’un cours en ligne »

1 DataGRAAL DataGRid pour Animation et Applications à Large échelle Yves Denneulin IMAG-ID Pierre Sens LIP6 - INRIA.

SITRANS – Système d’information Transcriptome pour la plate-forme de la Genopole Rhône-Alpes Daniel CRISAN

D.Delaunay-Verneuil - Technologies et handicap dans un centre de documentation (2008)1 CRÉATION DUN PÔLE DEXPERTISE « TECHNOLOGIES ET HANDICAP » DANS UN.

Initiation à la robotique

Réunion #3 18/09/2006. E. Caron - Réunion #3 - 18/09/06 Planning 10h - 10h30Accueil des participants 10h h40 Informations générales sur LEGO [Eddy.

1 Séminaire « Définition de Produits » : méthodologie de définition d’une pièce GREC INITIALES Juin / juillet 2012– ACADEMIE DE TOULOUSE 1 Préparation.

28 janvier 2010 ConecsSdF : Co-design de systèmes commandés en réseau et sûrs de fonctionnement (GT ARC) 1 2 ème journée de l’Action ConecsSdF Co-design.

Activités développées RTP 12 : Information et connaissance : "découvrir et résumer" Actions spécifiques et équipes-projets associées Objectifs thématiques.

Corporate Research Center Software Department 1/14 UAC/L/99/0292 PROJET CALIFE Réunion de lancement 2 septembre 1999 Calife.

État des lieux 8 Mars 2013.

Le Bac Professionnel Systèmes Electroniques Numériques 6 Champs d’application Electrodomestique Télécom Réseau Alarme sécurité incendie Electronique industrielle.

1 Rencontres IrisaTech Modélisation formelle de systèmes embarqués et applications Programme IntroductionJean-Pierre Talpin Composants riches et modélisation.

IPv6TF/ Task Force IPv6 France Réunion du 11 juin 2003 à Caen Patrick Cocquet Patrick Cocquet, Président de la Task Force IPv6 France

Supports de formation au SQ Unifié

1 CAPPRIS Réunion de lancement mars Participants INRIA Grenoble: Thibaud Antignac, Cédric Lauradoux, Daniel Le Métayer Université de Namur:

ConecsSdF : Co-design de systèmes commandés en réseau et sûrs de fonctionnement (GT ARC) 1 4 ÈME JOURNÉE DE L ’A CTION C ONECS S D F C O - DESIGN DE SYSTÈMES.

Réseau EURAXESS Doctoriales, La Rochelle, 4 Juin 2009.

Activités cognitives dans les systèmes d’information et interfaces homme-machine GT 3.

HAL-SHS Christine Berthaud, Agnès Magron,

1 Journée GDR GPL --- Ingénierie des Exigences octobre 2015 Ph. Dhaussy Philippe Dhaussy Univ. Européenne de Bretagne Lab-STICC UMR CNRS 6285 Equipe.

Transcription de la présentation:

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)

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…

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…

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…

LSR Latelier AFADL 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 : janvier 2003

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

LSR Diffusion dinformations Site web (GT + atelier) Liste –Ciblée sur les activités du GT –Liste modérée –Inscrivez-vous:

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

LSR Programme de la journée (2/2) Salle E h00 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

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

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, …)