Das Hauptproblem von drahtlosen Sensornetzwerken sind Kollisionen. Dieses Buch soll ein Modell des LMAC-Protokolls mit einer zusätzlichen Wartephase bereitstellen, in der die Wahrscheinlichkeit von Kollisionen zwischen den Sensorknoten, die gleichzeitig Daten übertragen können, analysiert werden kann. Die Analyse wird mit Hilfe der probabilistischen UPPAAL-Modellprüfungsplattform durchgeführt. Damit wird ein optimaler Netzwerkaufbau vorgeschlagen, der die Gesamtleistung erhöht und die Kosten der Netzwerke reduziert.

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.