Modélisation et analyse des protocoles MAC multi-canaux basés sur l'approche du ''canal dédié''

Résumé : L'utilisation dans le cadre des réseaux sans fil de multiples canaux orthogonaux au niveau des protocoles MAC offre une grande potentialité pour améliorer, par rapport à la communication mono-canal, le débit des transmissions. Toutefois, le contexte multi-canal nécessite une fonction supplémentaire au niveau MAC qui porte sur l'allocation et la coordination des canaux. Plusieurs variantes d'allocation de canaux ont été définies et proposées dans la littérature. Cependant, il existe peu d'études basées sur des techniques formelles afin de vérifier les propriétés fondamentales des mécanismes d'allocation. Le but de cet article est précisément de proposer une modélisation formelle et la vérification des protocoles MAC multi-canaux basés sur l'approche du canal dédié à l'aide du modèle RdPTS (Réseaux de Petri Temporisés Stochastiques). Nous vérifions la propriété de réservation en termes d'utilisation en exclusion mutuelle des canaux de données.
Type de document :
Communication dans un congrès
CFIP 2011 - Colloque Francophone sur l Ingénierie des Protocoles, May 2011, Sainte Maxime, France. 2011
Liste complète des métadonnées

Littérature citée [4 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00587122
Contributeur : Emmanuel Nataf <>
Soumis le : vendredi 6 mai 2011 - 11:29:44
Dernière modification le : mercredi 12 septembre 2018 - 17:46:02
Document(s) archivé(s) le : dimanche 7 août 2011 - 02:41:23

Fichier

elfatni-cfip11-camera-ready.pd...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00587122, version 2

Citation

Abdelaziz El Fatni, Guy Juanole, Thierry Val. Modélisation et analyse des protocoles MAC multi-canaux basés sur l'approche du ''canal dédié''. CFIP 2011 - Colloque Francophone sur l Ingénierie des Protocoles, May 2011, Sainte Maxime, France. 2011. 〈inria-00587122v2〉

Partager

Métriques

Consultations de la notice

259

Téléchargements de fichiers

192