Cet article présente disydent, un environnement logiciel dédié à la conception de systèmes sur puce (SoC System on Chip) à base de plate-forme. Le problème visé est représenté par un triplet (système, application, contraintes) où le système comprend à la fois un noyau logiciel et un gabarit matériel qui peut être augmenté de coprocesseurs matériels ad hoc. Notre contribution est d’une part la définition d’un flot de conception, couvrant toutes les étapes de la spécification à l’intégration, pour la conception sur plate-forme, et d’autre part un ensemble d’outils opérationnels permettant d’implanter ce flot. disydent est constitué de 4 outils: dpn est une librairie ‘C’ permettant de décrire des réseaux de processus de Kahn, cass est un simulateur précis au niveau cycle, asim0 est la plate-forme multiprocesseur sur laquelle s’exécute un micro-noyau, ugh est un outil de synthèse de haut niveau. Pour cibler rapidement une solution à un problème de conception basée sur une plate-forme, disydent propose le flot de conception suivant. Tout d’abord, le concepteur modélise son application par un réseau de processus de Kahn en ‘C’ à l’aide de la librairie dpn. La validation fonctionnelle est obtenue par simulation directement sur la machine hôte. Les performances temporelles de l’application sont obtenues avec cass en simulant la plate-forme faisant tourner l’application. Ensuite, en se fondant sur les performances temporelles obtenues par analyse du profil d’exécution, le concepteur sélectionne un groupe de processus pour faire migrer du logiciel vers du matériel. La simulation avec cass d’une plate-forme augmentée des coprocesseurs implantant les processus sélectionnés donne des résultats temporels qui lui permettent d’accepter ou de rejeter le groupe. Cette nouvelle plate-forme est réalisée par la migration exploratoire qui consiste à augmenter la plate-forme avec des coprocesseurs implantant les processus sélectionnés sans modifier leurs descriptions. Finalement, les processus sélectionnés sont synthétisés avec ugh. ugh fourni pour chacun d’entre eux, en plus d’une description vhdl synthétisable, un modèle de simulation cass précis au niveau cycle. Une nouvelle simulation cass de la plate-forme augmentée avec ces nouveaux modèles permet la validation temporelle finale. Les points forts de disydent sont son modèle formel basé sur les réseaux de Kahn qui garantit un comportement indépendant de l’ordonnancement des processus, l’intégration étroite des différents outils qui utilisent la même spécification quels que soient le niveau d’entrée, et sa validation au niveau cycle avec un simulateur ad hoc qui permet des gains en vitesse d’au moins un ou deux ordres de grandeur vis-à-vis des simulateurs événementiels classiques.