Résumé: Cet article présente une approche nouvelle pour la validation de modèles d'architectures à base de processeurs dans un environnement de modélisation orientée objet. Notre méthode incrémentale baptisée Sep permet, à partir de modèles de haut niveau, d'évaluer les performances, en simulation, d'architectures nouvelles sur des applications critiques de traitement numérique du signal. Cette évaluation permet la construction interactive d'architectures efficaces, les modèles réalisés très tôt dans le cycle de développement servent, après raffinement, de référence de conception pour la construction de modèles synthétisables. Nous présentons deux des mécanismes mis en place gràce aux paradigmes objets, pour la création de modèles riches et réutilisables: un mécanisme de liaison dynamique et la notion de service de modules. Nous montrons que ces mécanismes permettent la manipulation aisée d'expressions algébriques sous forme de graphes de décision binaire; ce qui permet de valider les services de modules en s'assurant qu'ils réalisent effectivement la fonction pour laquelle ils ont été définis.