AFSEC

MOVEP 2010
9th International Summer School on
MOdelling and VErifying parallel Processes

June 28 — July 2 2010, Aachen, Germany

The purpose of MOVEP is to bring together researchers, students and people from industry working in the fields of control and verification of concurrent and reactive systems. The school seeks to offer a broad spectrum of current research in this area of theoretical and applied computer science. The topics covered by MOVEP 2010 include model checking, testing, synthesis, real-time and hybrid systems, games, stochastic systems, security, computational systems biology etc.

MOVEP 2010 is supported by the ESF GAMES project, INRIA Rennes, Action AFSEC (CNRS) and the RWTH Aachen.

Workshop AFSEC le vendredi 12 mars 2010 à Pau, lors des journées nationales du GDR GPL 2010

Programme du workshop AFSEC (9h-10h30) :

• “Compilation modulaire des programmes synchrones flot de données: une représentation symbolique efficace “,
  Marc Pouzet (Université Paris-Sud 11, LRI), Pascal Raymond, (VERIMAG).
• “Collaboration entre méthode d’ordonnancement et calcul réseau”,
  Marc Boyer, David Doose (ONERA)
• “Analyse des délais de bout en bout pire cas dans des réseaux avioniques”,
  J.-L. Scharbarg, J. Ermont, H. Bauer, C. Fraboul (Université de Toulouse IRIT/ENSEEIHT-INPT)

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