Les réseaux de capteurs ont maintenant des applications à l'échelle de plusieurs milliers de systèmes permettant de représenter et traiter des états distribués très grands pour les besoins d'une application, ou d'une famille d'applications. Nous décrivons les étapes déroulées dans une chaîne de conception à finalité applicative intégrant les spécifications de déploiement, la simulation concurrente du comportement distribué, et le conditionnement de ce comportement dans les systèmes locaux. L'approche décrite s'appuie sur le modèle de communication synchrone, et sur la spécification en terme de processus communicants.