AFSEC

Réunion du 27 janvier 2009 à Toulouse (ENSEEIHT). 37 participants.

Thèmes :

• Vérification des systèmes temps-réel
• Calcul réseau.
  Cette réunion a été l’occasion du lancement du groupe WEED.

Transparents des présentations :

• FIACRE, un langage formel pour la spécification de systèmes temps-réels en vue de leur vérification :
  • Le langage Fiacre par Francois Vernadat (LAAS)
  • Compilateur Fiacre vers Tina par Bernard Berthomieu (LAAS)
• Abstraction d’horloges dans les systemes synchrones par Marc Pouzet (LRI)
• Présentation du groupe WEED par Marc Boyer (ONERA)
• Approche par trajectoire : calcul des délais pire cas dans les réseaux par Steven Martin (LRI)
• Une algorithmique pour le Network Calculus par Anne Bouillard (IRISA)

This entry was posted on Thursday, January 29th, 2009 at 16:10 and is filed under Actions Afsec, Journées, WEED. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.