AFSEC

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

L’action AFSEC est invitée à organiser une session lors des journées du GDR GPL qui se dérouleront à Pau dans la semaine du 8 au 12 mars 2010.
Ces journées seront co-localisées avec CAL 2010 (4ème Conférence francophone sur les Architectures Logicielles) et IDM 2010 (6èmes journées sur l’Ingénierie Dirigée par les Modèles).

Si vous souhaitez faire un exposé de vos travaux dans le cadre de la session AFSEC de ces journées, merci de faire parvenir par email (à Olivier H Roux) un titre et un résumé de votre présentation.

L’ouvrage AFSEC Communicating Embedded Systems - Software and Design sous la direction de Claude Jard et Olivier H. Roux vient de paraitre chez Wiley-ISTE.

Liste des auteurs :

Gerd BEHRMANN, Béatrice BÉRARD, Peter BULYCHEV, Joakim BYG, Thomas CHATAIN, Franck CASSEZ, Thao DANG, Alexandre DAVID, Susanna DONATELLI, Goran FREHSE, Antoine GIRARD, Serge HADDAD, Claude JARD, Kim G. LARSEN, Colas LE GUERNIC, Didier LIME, Morgan MAGNIN, Nicolas MARKEY, Paul PETTERSSON, Jacob Illum RASMUSSEN, Olivier H. ROUX, Jiri SRBA, Louis-Marie TRAONOUEZ, Stavros TRIPAKIS, Kenneth Y. JOERGENSEN et Wang YI.

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

Les actes de la conférence (MSR’09) organisée avec le soutien de l’AFSEC viennent de paraître sous la forme d’un numéro spécial du journal JESA vol.47 numeros 7-9.

31st International Conference on Application and Theory of Petri Nets and other Models of Concurrency

PETRI NETS 2010

June 21-25, 2010
Braga, Portugal

. Submission of Papers : January 5, 2010
. Notification : March 1, 2010
. Final Version Due : April 1, 2010
. Workshops & Tutorials : June 21-22, 2010
. Conference : June 23-25, 2010

Septième Colloque Francophone sur la Modélisation des Systèmes Réactifs
Soutenu par les GDR ASR et MACS et par l’action transversale AFSEC.

Nantes, du 16 au 18 Novembre 2009

Les inscriptions sont ouvertes.
“Early registration” : 16 octobre 2009

Site : MSR’09

The European Joint Conferences on Theory and Practice of Software (ETAPS) is a confederation of five main annual conferences :
CC 2010, International Conference on Compiler Construction
ESOP 2010, European Symposium on Programming
FASE 2010, Fundamental Approaches to Software Engineering
FOSSACS 2010, Foundations of Software Science and Computation Structures
TACAS 2010, Tools and Algorithms for the Construction and Analysis of Systems

20-28 March 2010, Paphos, Cyprus

ETAPS 2010

Soumission des articles : 8 octobre 2009
Notification de l’acceptation : 11 decembre 2009

The 29th Foundations of Software Technology and Theoretical Computer Science Conference

December 15 to 17, 2009, IIT Kanpur, India

FSTTCS 2009

Soumission des articles : 7 juillet 2009
Notification de l’acceptation : 14 septembre 2009

The 30th IEEE Real-Time Systems Symposium

Washington, D.C., USA, December 1-4, 2009

RTSS 2009

Soumission des articles : 26 mai 2009
Notification de l’acceptation : 23 aout 2009