Beaucoup de systèmes embarqués et temps réel ont un comportement probabiliste inhérente (données de capteurs, matériels peu fiables, ...). Dans ce contexte, il est crucialpour évaluer les propriétés du système telles que “ la probabilité’ qu’un matériel particulier ne fonctionne pas”. Ces propriétés peuvent être évaluées en utilisant le probabilistic model checking. Cependant, cette technique échoue sur les modèles représentant les systèmes embarqués et temps réel réalistes en raison de l’espace explosion de l’état. Pour surmonter ce problème, nous proposons un cadre de vérification sur la base Statistical Model Checking. Notre cadre est en mesure d’évaluer les propriétés probabilistes et temporelles sur les grands systèmes modélisés dans SystemC, un langage de modélisation au niveau du système standard. Il est pleinement mis en oeuvre comme une extension du modèle statistique Plasma-lab checker. Nous illustrons notre approche sur une étude de cas du système multi-ascenseur.