Dans cette présentation, on montrera quels types de modélisations matérielles sont nécessaires pour offrir des garanties temporelles dans les systèmes critiques (bornes du temps d'exécution pire-cas). On s'appuiera, en particulier, sur les modèles des interférences temporelles dans les plateformes multi-cœur (et les modèles des mémoires caches, s'il reste du temps pour cela) pour calculer des bornes sur les délais engendrés.
Au-delà des modèles, on montrera comment l'analyse temporelle exploite l'information extraite des modèles matériels/logiciels, ainsi que les contraintes qui en découlent sur le matériel. On illustrera le propos par un exemple d'implémentation de système critique qui utilise les spécificités du matériel et du logiciel.