AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour December, 2008

Journée AFSEC le 27 janvier à Toulouse

Wednesday 17 December 2008

Journée AFSEC le 27 janvier 2009 à Toulouse, dans les locaux de l’ENSEEIHT

conjointement avec AFADL (du 26 au 27 janvier)
et précédent les : journées du GDR GPL (du 28 au 30 janvier) incluant une session AFSEC le 28 janvier après midi.

La journée AFSEC du 27 janvier ne nécessite pas d’inscription.

Programme de la journée AFSEC du 27 janvier:

  • 9h30 Accueil,
  • 9h45 : “Pola: un langage pour la specification et la verification des systemes temps reel”,
    F. Peres, PE Hladik, F. Vernadat
  • 10h15 : “FIACRE, un langage formel pour la spécification de systèmes temps-réels en vue de leur vérification”,
    B. Berthomieu, F. Vernadat, R. Saad, S. Dal Zilio
  • 11h: Pause café
  • 11h15 : “Abstraction d’horloges dans les systemes synchrones”,
    Marc Pouzet
  • 12h : Repas
  • 13h50 “présentation du groupe WEED”,
    Marc Boyer
  • 14h “Approche par trajectoire : calcul des délais pire cas dans les réseaux”,
    Steven Martin
  • 14h50 “Convolutions et deconvolution de courbes affines par morceaux: contribution à une modélisation plus fine en calcul réseau”,
    Eric Thierry et Anne Bouillard
  • 15h40 Pause café
  • 16h Table ronde sur les projets à venir de l’AFSEC et discussions des sous-groupes

Le programme avec résumés des exposés : Programme.pdf

Accès à l’ENSEEIHT
Une liste d’hotels

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

Journée Logiciel embarqué le 16 décembre 2008 à Rennes

Thursday 11 December 2008

La technopole Rennes Atalante, le pôle de compétitivité Images & réseaux et le centre de recherche Inria Rennes - Bretagne Atlantique co-organisent, le 16 décembre prochain, unejournée thématiquesur le thèmeLogiciel embarqué, des solutions génériques et transectorielles.
L’objectif de cette journée est dedévelopper les échanges entre entreprises etchercheursacadémiques du grand Ouest afin de favoriser l’émergence de projets innovants.

La journée débutera par une présentation du tout nouveau Club des entreprises de l’embarqué.
Elle se poursuivra par une série d’exposés donnés en tandem par un représentant du monde académique et un représentant du monde industriel. Ces exposés couvriront le spectre du logiciel embarqué allant des architectures matérielles aux machines virtuelles, en passant par les langages de programmation et de vérification et l’ingénierie des modèles.
Bertrand Braunschweig présentera ensuite le programme Systèmes embarqués et grandes infrastructures de l’Agence nationale de la recherche.

Journée Logiciel embarqué

Publié dans Manifestations, Séminaires | Pas de commentaire »

Compte rendu de la réunion du 03 décembre 2008

Saturday 6 December 2008

Journée “dépliages des modèles temporisés? le 03/12/08

Transparents d’une partie des présentations :

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

Description du groupe WEED (Worst End to End Delay)

Tuesday 2 December 2008

L’objectif du sous-groupe est de fédérer une communauté française qui s’intéresse aux méthodes formelles (utilisées ou utilisables) pour le calcul de pires délais de bout en bout dans les réseaux embarqués.
Les caractéristiques ciblées sont:
  • Délai pire cas
  • De bout en bout
  • Multi-sauts
  • Passage à l’échelle

Ce groupe est animé par Marc Boyer.

Une mailing-list existe: http://mailman.rts-software.org/mailman/listinfo/weed

Publié dans WEED | Pas de commentaire »

Membres du groupe WEED

Tuesday 2 December 2008

Le groupe comporte à ce jour les membres déclarés suivants. Les adresses mails ne sont pas fournies pour limiter le SPAM.

    • Université d’Angers / ISTIA
      • Bertrand Cottenceau
      • Laurent Hardouin
      • Sébastien Lagrange
      • Euriell Le Corronc
      • Mehdi Lhommeau
    • Grenoble / INRIA / IMAG
      • Bruno Gaujal
    • Grenoble / Verimag
      • Mathieu Moy
    • ENS Lyon / LIP
      • Laurent Jouhet
      • Eric Thierry
    • Université Montpellier II / INRIA / LIRMM
      • Alain Jean-Marie
    • Nancy / INRIA / LORIA
      • Nicolas Navet
    • Université d’Orsay / LRI
      • Steven Martin
    • ENS - INRIA / TREC
      • Anne Bouillard
    • Toulouse / ENSEEIHT - ISAE / IRIT
      • Henry Bauer
      • Christian Fraboul
      • Jean-Luc Scharbarg
      • Ahlem Mifdaoui
      • Fabrice Frances
      • Jérôme Ermont
    • Toulouse / LAAS
      • Laurent Houssin
    • Toulouse / ONERA
      • Marc Boyer
      • Cedric Mauclair
    • ENS Cachan / LURPA
      • Saïd Amari
    • Nancy / CRAN
      • Gilbert Habib

    Pour toute modification, ajout, suppression: Marc.Boyer qui lit son mail sur onera.fr

Publié dans WEED | Pas de commentaire »