Le problème majeur des réseaux de capteurs sans fil est celui des collisions. Cet ouvrage vise à fournir un modèle du protocole LMAC avec l'ajout d'une phase d'attente permettant d'analyser la probabilité de collisions entre les noeuds de capteurs qui peuvent transmettre des données en même temps. L'analyse est effectuée à l'aide de la plateforme probabiliste UPPAAL model checker. Ce modèle propose une configuration optimale du réseau qui augmente la performance globale et réduit le coût des réseaux.