AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour March, 2006

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

Thursday 30 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.

Publié dans Actions Afsec, Journées | Pas de commentaire »

Réunion le 8/02/2006

Thursday 30 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

Publié dans Actions Afsec, Journées | Pas de commentaire »

Movep’06

Thursday 30 March 2006

Summer school about modeling and verifying parallel processes : Movep’06

Publié dans Manifestations | Pas de commentaire »

FORMATS’06 (du 25 au 27 septembre 2006)

Thursday 30 March 2006

4th International Conference on Formal Modelling and Analysis of Timed Systems : Call for papers

Soumission des articles : 1 mai 2006
Notification de l’acceptation : 15 juin 2006

Publié dans Manifestations | Pas de commentaire »