l' objectif du travail présenté ici est d' apporter une aide à la maîtrise de la modélisation de systèmes embarqués complexes (matériels et logiciels), à l évaluation de leurs paramètres et à la vérification de propriétés. Plus précisément, il consiste en la définition d 'une méthodologie pour laconstruction automatique de modèles d architectures électroniques et pour l exploitation de ces modèles par simulation en vue de la vérification des contraintes temps réel de l application. L étude réalisée fait abstraction de l 'outil de modélisation et simulation choisi. Lors de la simulation du modèle ainsi obtenu, l' analyse des traces permet d évaluer les paramètres et de vérifier les propriétés temporelles de l 'application.