Les systèmes embarqués en réseau sont devenues une avancée technologique majeure au cours des dernières années. Telle qu’ils sont utilisés dans une grande diversité d'applications, le principal défi pose est de développer des applications fonctionnelles, en assurant leurs défis de conception. Ces défis concernent l'utilisation des leurs ressources matérielles limitées (p.ex. la mémoire du processeur, l'unité d'alimentation) et aussi leur hétérogénéité en termes de logiciel, le matériel ainsi que des mécanismes de communication. Afin de considère tous ces défis, nous proposons de utiliser les techniques de modélisation sur cette type des systèmes, car ils permettent la simulation et la validation de systèmes complexes hétérogène dans chaque étape du développement. En plus, ils optimisent également les performances de systèmes à une manière efficace. Dans cette thèse, nous présentons une nouvelle approche, basée sur un flot de conception, qui applique des techniques de modélisation et de vérification formelles dans les systèmes embarqués en réseau. La validité de l'approche est prouvé par son application dans plusieurs domaines, comme les systèmes automobiles, les systèmes de l'automation industrielle, les systèmes de réseaux de capteurs sans fil (WSN systèmes) et les systèmes pour l'internet des objets (IoT systèmes).