La modélisation de systèmes hétérogènes conservatifs multi-domaines (électrique, mécanique, fluidique, etc.) requiert un moyen de vérifier que les quantités manipulées par les modèles aient des unités cohérentes. Nous présentons ici les fondations pour le support de l'analyse dimensionnelle statique (effectuée à la compilation) de modèles développés à l'aide des extensions AMS (Analogue and Mixed-Signal) de SystemC. L'approche présentée dans ce papier sera incorporée dans un nouveau modèle de calcul Bond Graph qui complétera les modèles de calcul déjà prévus dans les extensions AMS de SystemC.