Étude comparative pour la modélisation de plates-formes d'exécution. Application au temps réel embarqué.