Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [4 references]  Display  Hide  Download

https://hal.inria.fr/inria-00587122
Contributor : Emmanuel Nataf <>
Submitted on : Friday, May 6, 2011 - 11:29:44 AM
Last modification on : Sunday, June 14, 2020 - 8:45:26 AM
Document(s) archivé(s) le : Sunday, August 7, 2011 - 2:41:23 AM

File

elfatni-cfip11-camera-ready.pd...
Files produced by the author(s)

Identifiers

  • 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, UTC, May 2011, Sainte Maxime, France. ⟨inria-00587122v2⟩

Share

Metrics

Record views

330

Files downloads

1285