Les applications embarquees hautes performances sont de plus en plus complexes et exigeantes en termes de ressources de calcul. L'augmentation des performances des puces monoprocesseur n'est plus une solution adaptee. Nous proposons l'utilisation du profil MARTE pour la modelisation de systemes. Ce profil est suffisamment expressif pour decrire des applications hautes performances et des architectures paralleles. Nous abstrayons ensuite ces modeles via des horloges. Ces dernieres representent l'activite des processeurs durant l'execution de fonctionnalites. Une technique d'analyse permet de verifier des contraintes temporelles telles que l'ordre d'execution de taches, et d'analyser des contraintes non fonctionnelles telles que les temps d'execution. Ces proprietes sont liees au nombre de processeurs impliques dans l'execution ainsi qu'a leurs frequences. La contribution de cette these est la definition d'un cadre de travail, a base d'horloges, qui facilite l'exploration de l'espace de conception a haut niveau d'abstraction. Le travail a ete mene dans un environnement, Gaspard2, dedie a la conception de systemes embarques hautes performances."