Les applications embarqu es 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 adapt e. Nous proposons l'utilisation du profil MARTE pour la mod lisation de syst mes. Ce profil est suffisamment expressif pour d crire des applications hautes performances et des architectures parall les. Nous abstrayons ensuite ces mod les via des horloges. Ces derni res repr sentent l'activit des processeurs durant l'ex cution de fonctionnalit s. Une technique d'analyse permet de v rifier des contraintes temporelles telles que l'ordre d'ex cution de t ches, et d'analyser des contraintes non fonctionnelles telles que les temps d'ex cution. Ces propri t s sont li es au nombre de processeurs impliqu s dans l'ex cution ainsi qu' leurs fr quences. La contribution de cette th se est la d finition d'un cadre de travail, base d'horloges, qui facilite l'exploration de l'espace de conception haut niveau d'abstraction. Le travail a t men dans un environnement, Gaspard2, d di la conception de syst mes embarqu s hautes performances.