AFSEC

Réunion le 8/02/2006

30th March 2006

Nous profitons de la réunion du pôle ASERT (Architectures et Systèmes Embarqués et Temps
Réel) de ce GDR, qui se tient le mercredi 8 février au CNAM à Paris le matin, pour organiser
l’après-midi cette rencontre.

L’objectif est d’examiner les nouvelles perspectives d’utilisation des méthodes formelles
(entendre les techniques de modélisation et d’analyse/synthèse, fondées mathématiquement)
dans le contexte de la maîtrise des systèmes embarqués. Ce contexte est comme vous le savez
identifié comme hautement prioritaire dans les sciences. L’idée est de rassembler des compétences
qui ont été dispersées sur plusieurs GDR et de mener une activité d’animation propice à la
formation de nouveaux projets.

Pour démarrer la discussion, plusieurs d’entre-vous ont été sollicités pour présenter succinctement l’activité de leur
communauté dans ce thème. Il s’agit de :

  • Y. Ledru (Imag/LSR), porte-parole de la communauté Afadl (Approches formelles d’aide au développement
    logiciel) de l’ex-GDR ALP,
  • C. Paulin (LRI), communauté “preuve” et membre du bureau de l’ex-RTP SECC (Systèmes Embarqués Critiques …),
  • S. Graf (Verimag), co-responsable du pôle ASERT, fera notamment le lien avec des projets européens,
  • F. Simonot (Loria)/F. Vernadat (Laas), porte-paroles de la communauté STRQDS (Temps réel …) de l’ex-GDR ARP
  • F. Cassez (Irccyn, sous-réserve), porte-parole de la communauté SED (interface automatique/informatique)
  • L. Fribourg (LSV)

Cette réunion est ouverte à tous ceux intéressés.

Lieu de la réunion et horaires : 14h-17h30
Attention, modification de la salle
CNAM
292 rue Saint Martin
La salle sera la : 9 B0 15 (entrée 9, Entrée B RdC, salle 15)

En raison des plans “Vigipirates” pensez à vous munir d’un papier d’identité.

Acccès sur : http://www.cnam.fr/home/Infos_pratiques/index.html

Leave a Reply

You must be logged in to post a comment.