Projet TOAST
Réunion du 20 juillet 2007

Deuxième réunion :

Cette réunion informelle a eu lieu à la salle de réunion du SATIE le vendredi 20 juillet 2007 de 10h à 11h30.

Participants :

SATIE : Fanny Bay, Jean-Pierre Barbot, Marc Jungers.

LSV : Thomas Brihaye, François Laroussinie, Nicolas Markey.

Compte-rendu de la réunion :

• L'ajout d'un troisième agent dans modèle Uppaal a été implémentée, ainsi que la possibilité d'avoir deux (ou plus) modes de fonctionnement. La taille (nombre d'états) du modèle a fortement augmenté, et Uppaal n'arrive plus à vérifier la plupart des formules. Plusieurs pistes sont possibles pour diminuer la taille du modèle : changer le pas de discrétisation, par exemple.

  Plusieurs modifications sont encore possibles :

  • dans la réalité, la puissance d'émission est très élevée à l'initialisation de la communication, puis diminue une fois que la connection est établie.
  • dans certains cas, c'est la base qui impose la puissance d'émission aux émetteurs. Nous pourrions assez simplement modéliser un tel comportement.
  • les constantes du calcul du rapport signal/bruit peuvent varier au cours du temps, par exemple pour les émetteurs mobiles qui s'éloignent de la base. Nous pourrions également modéliser cela, notamment dans le cas où c'est la base qui fixe les puissances d'émission.

À propos du LSV