AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Description du groupe WEED (Worst End to End Delay)

2nd 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

Leave a Reply

You must be logged in to post a comment.