Le développement des réseaux et notamment les réseaux de capteurs incite les industries à considérer pour leurs systèmes de communication des alternatives amenant une réduction des coûts et de la complexité tout en garantissant la fiabilité. Ce papier décrit la validation formelle par réseaux de Petri temporels et model checking d'un nouveau protocole de synchronisation avec qualité de service pour réseau maillé de capteurs sans fil utilisant le standard de communication IEEE 802.15.4/ZigBee. L'utilisation des méthodes formelles dans le cadre des réseaux sans fil est assez récente et les résultats obtenus dans cet article prouvent que ces méthodes sont intéressantes dans ce contexte.