Nous serons accueillis par le LRI (Orsay).

Le programme:

• 10h30 : “Méthode des trajectoires et AFDX“, Henri Bauer (Airbus/IRIT/N7)
• 11h15 : “Probabilités de dépassement de délais”, Cédric Mauclair (ONERA)
• 12h: Repas
• 13h15 : Librairies de Calcul pour les algèbres exotiques :
• “MinMaxGd, une toolbox Scilab pour la manipulation de séries périodiques“, Laurent Ardouin (LISA/ISTIA/Univ. Anger)
• “COINC, une toolbox Scilab pour les fonctions ultimement pseudo périodiques“, Sébastien Lagrange (LISA/ISTIA/Univ-Angers)

• 14h : “Classifications de modèles de calcul réseau“, Laurent Jouhet (LIP, ENS Lyon)
• 14h45 : “Collaboration de méthode: techniques d’ordonnancement et calcul réseau” (Marc Boyer, ONERA)
• 15h30 : Infos diverses et clôture

Plusieurs sessions de MSR’09 dont la session du 17 novembre 2009 intitulée “Calcul de pire délai de communication” ont reçu un soutien plus particulier de l’AFSEC et ont servi de lieu de rencontre AFSEC en général et du groupe WEED en particulier.

De plus une réunion spécifique WEED a eu lieu à l’occasion de MSR.

Les transparents de certaines présentations sont disponibles :

• Notations pour le calcul réseau par M. BOYER, L. JOUHET ET A. BOUILLARD
• Une méthode de calcul de délais pire cas de bout en bout pour les réseaux SpaceWire par T. FERRANDIZ, F. FRANCES ET C. FRABOUL
• Evaluation de l’influence d’un réseau de communication sans fil sur la commande d’un SED par G. HABIB, P. MARANGE, J.-F. PETIN ET T. DIVOUX
• Représentation tridimensionnelle de la dynamique des Graphes d’Evénements Temporisés Généralisés par B. COTTENCEAU, L. HARDOUIN ET E. LE CORRONC
• Encadrement de systèmes (min,+)-linéaires par E. LE CORRONC, B. COTTENCEAU ET L. HARDOUIN

Réunion du 27 janvier 2009 à Toulouse (ENSEEIHT). 37 participants.

Thèmes :

• Vérification des systèmes temps-réel
• Calcul réseau.
  Cette réunion a été l’occasion du lancement du groupe WEED.

Transparents des présentations :

• FIACRE, un langage formel pour la spécification de systèmes temps-réels en vue de leur vérification :
  • Le langage Fiacre par Francois Vernadat (LAAS)
  • Compilateur Fiacre vers Tina par Bernard Berthomieu (LAAS)
• Abstraction d’horloges dans les systemes synchrones par Marc Pouzet (LRI)
• Présentation du groupe WEED par Marc Boyer (ONERA)
• Approche par trajectoire : calcul des délais pire cas dans les réseaux par Steven Martin (LRI)
• Une algorithmique pour le Network Calculus par Anne Bouillard (IRISA)

• Délai pire cas
• De bout en bout
• Multi-sauts
• Passage à l’échelle

Ce groupe est animé par Marc Boyer.

Une mailing-list existe: http://mailman.afsec-cnrs.org/mailman/listinfo/weed

Le groupe comporte à ce jour les membres déclarés suivants. Les adresses mails ne sont pas fournies pour limiter le SPAM.

• Université d’Angers / ISTIA
• Bertrand Cottenceau
• Laurent Hardouin
• Sébastien Lagrange
• Euriell Le Corronc
• Mehdi Lhommeau
• Grenoble / INRIA / IMAG
• Bruno Gaujal
• ENS Lyon / LIP
• Laurent Jouhet
• Eric Thierry
• Université Montpellier II / INRIA / LIRMM
• Alain Jean-Marie
• Nancy / INRIA / LORIA
• Nicolas Navet
• Université d’Orsay / LRI
• Steven Martin
• Rennes / ENS Cachan - Site Ker Lann / IRISA
• Anne Bouillard
• Toulouse / ENSEEIHT - ISAE / IRIT
• Henry Bauer
• Christian Fraboul
• Jean-Luc Scharbarg
• Ahlem Mifdaoui
• Fabrice Frances
• Jérôme Ermont
• Toulouse / LAAS
• Laurent Houssin
• Toulouse / ONERA
• Marc Boyer
• Cedric Mauclair
• ENS Cachan / LURPA
• Saïd Amari
• Nancy / CRAN
• Gilbert Habib

Pour toute modification, ajout, supression: Marc.Boyer qui lit son mail sur onera.fr

Le groupe devrait officiellement voir le jour en janvier 2009