Diffusion des résultats

Animation de la communauté scientifique

Claude Jard est co-responsable de l'action nationale FORMA.

Claude Jard a co-édité une édition spéciale de la revue TSI sur les méthodes formelles[10].

Claude Jard a fait partie des comités de programmes des conférences :

AADEBUG'97 : Automated Debugging, Linköping, Juin 1997,
GRES'97 : Gestion de réseaux, Rennes, Septembre 1997,
CFIP'97 : Ingénierie des protocoles, Liège, Septembre 1997.

Thierry Jéron est depuis cette année responsable du Séminaire Irisa, Marie Noëlle Georgeault se chargeant des aspects administratifs et diffusion.

Jean-Louis Pazat coordonne le groupe de travail français ``Grappes'' dont les activités sont centrées sur l'utilisation des réseaux de stations de travail pour le calcul hautes performances.

Jean-Marc Jézéquel a été membre du comité de pilotage de la manifestation Objet'97 qui s'est tenue à Brest en mai 1997.

Enseignement universitaire

Claude Jard est responsable du module ``Méthodes formelles pour le développement des logiciels réparti'' du DEA informatique de l'IFSIC.

Claude Jard et Thierry Jéron enseignent la validation de protocoles (Vérification, model-checking, test, observation répartie) à l'ENSTB Rennes et en DIIC à l'Ifsic.

César Viho enseigne les ``mécanismes des systèmes et réseaux informatiques'' dans les filières Maîtrise et DIIC de l'IFSIC.

Jean-Marc Jézéquel anime un cours de méthodologie de conception par objets de logiciels en DESS/CCI, en DIIC 3ème année à l'Ifsic, à l'ENSTB (Rennes) et l'ENSAI (Rennes) ; il assure les mêmes cours plus un cours d'architectures logicielles pour réseaux à haut débit à Supélec (Rennes).

Jean-Louis Pazat organise le cours de 4ème année INSA de méthodes de programmation parallèle et un cours optionnel en 4ème année INSA et en DESS à l'IFSIC sur la programmation des calculateurs parallèles à mémoire distribuée.

L'équipe a accueilli en 1997, 4 stagiaires de DEA de l'IFSIC, 1 stagiaire de l'ENSIAS, 1 stagiaire de DEA de Supelec-Paris, 1 stagiaire de DEA de l'École Polytechnique, 1 mini-projet DIIC et 1 mini-projet INSA.

Autres enseignements

Claude Jard et Thierry Jéron associés à Ana Cavalli de l'INT ont donné un cours d'une journée sur la génération automatique de tests de conformité dans le cadre des Jeudis Etat de l'Art du Greco Informatique.

Jean-Marc Jézéquel a donné le cours Conception par objet et mise en oeuvre d'applications irrégulières à l'Ecole d'hiver ICaRE97 : Conception et mise en oeuvre d'applications parallèles irrégulières [22].

Participation à des colloques, séminaires, invitations

Jean-Marc Jézéquel à présenté le tutoriel Engineering High Performance Telecom Systems with Eiffel à TOOLS PACIFIC'96, Melbourne.

Claude Jard a été invité à donner les conférences suivantes :

``Diagnostic dans les systèmes répartis fondé sur des modèles d'ordre partiel'' à JBOPAD97, Ordres partiels et algorithmes distribués, Bordeaux, juin 1997.
``Génération automatique de tests pour les protocoles'' à la vingtième journée de l'OFTA, Paris, juin 1997.
``Testing behavioural properties of systems using model-based verification techniques'' au workshop on Formal design of Safety Critical Embedded Systems, Munich, Germany, avril 1997.

Précédent : Actions régionales, nationales et internationales Remonter : Projet PAMPA, Modèles et outils Suivant : Références