Nous présentons une méthode de raffinement de communication prouvé dans une méthodologie de conception de systèmes sur puce (SoC). La méthodologie que nous proposons offre une approche formelle pour la modélisation et l’analyse des différents niveaux de spécification. En effet, elle fournit un moyen de construire des modèles d’architecture et d’application à différents niveaux d’abstraction. Elle permet également de vérifier formellement les modèles à chaque niveau et de relier les modèles successifs par raffinement et assurer la préservation de comportement.