AFSEC

Compte-rendu de la réunion du 8/02/2006

30th March 2006

Nous avons profité de la réunion du pôle ASERT (Architectures et Systèmes Embarqués et Temps
Réel) du GDR ASR, qui s’est tenue le mercredi 8 février au CNAM à Paris le matin, pour organiser
l’après-midi la première réunion du groupe AFSEC.

L’objectif était 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
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 présentations de l’état de l’art dans les communautés concernées
ont eu lieu :

  • 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, a fait 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
  • E. Niel (INSA Lyon), porte-parole de la communauté SED et interface avec le GDR MACS
  • F. Cassez (Irccyn), interface automatique/informatique)
  • L. Fribourg (LSV)

Cette réunion était ouverte à tous ceux intéressés. Elle a rassemblé 19 personnes effectuant leur recherche dans les laboratoires ou établissements suivants : Irisa, Imag/lsr, Lsv, Lri, Irccyn, Lamsade, Lipn, Lip6, Esiee, Laas, Loria, Ensea, Cnam, Supelec, Insa-Lyon, Imag/Verimag.

Les transparents des présentations sont disponibles dans la rubrique  Documents

Nous avons conclu sur l’intérêt de lancer une telle action d’animation entre différents GDR, avec en première perspective la création d’un site Web coopératif permettant de rassembler et mettre à jour des informations pertinentes sur le sujet. D’autres réunions scientifiques sont à organiser, notamment avec la présentation de besoins applicatifs. Une inscription en ligne va permettre de construire cette communauté sans exclusive.

Leave a Reply

You must be logged in to post a comment.