AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Journée AFSEC le 27 janvier à Toulouse

17th 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

Leave a Reply

You must be logged in to post a comment.