Mémoires de Fin d’Etudes
Etablissement
Université de Béjaia - Abderrahmane Mira
Affiliation
Département d’Informatique
Auteur
BARRECHE, Hichem
Directeur de thèse
Aïssani Djamil
Co-directeur
Bouallouche Medjkoune Louiza
Filière
Informatique
Diplôme
Magister
Titre
Validation du protocole IEEE 802.11 ad hoc par méthodes formelles
Mots clés
ad hoc, IEEE802.11, performance, modélisation, réseaux de Petri
Résumé
Ce projet de magister consiste à développer un modèle de réseau de Pétri pour le protocole IEEE802.11 mode ad hoc (DCF) qui permettra de capturer les aspects significatifs du système d’une manière concise. Il est envisageable de prendre en compte le mécfanisme de fragmentation des paquets, et voire la qualité de service (la fondation de coordination EDCF).
Statut
Validé