Ce travail de thèse porte sur la co-modélisation logiciel/matériel des systèmes embarqués temps-réel, et plus précisément, sur la prise en charge du matériel dans la modélisation du logiciel. Il nous a fallu, de ce fait, marier plusieurs domaines de compétence dont l'ingénierie dirigée par les modèles, la conception d'applications temps-réel (méthodologies, analyses, noyaux temps-réel...