Analyse temporelle de systèmes temps-réel : état de l’art et défis

Les applications dites temps réel se différentient des applications généralistes par leur besoin de respecter des contraintes de temps, typiquement des échéances, le nom respect de ces échéances ayant des conséquences négatives voire catastrophiques. Pour valider ces systèmes, les techniques de test, bien que nécessaires, ne sont pas suffisantes, car il faudrait tester le systèmes dans tous les ciénarios possibles, motivant des techniques basées sur de l'analyse au niveau code d'une tâche ou au niveau système. Cet exposé présentera les techniques d'estimation de pires durées d'exécution (WCET - Worst-Case Execution Times) qui sont à la base de la validation temporelle de systèmes temps réel. Les techniques de base, dédiées aux systèmes mono-coeur, seront présentées, ainsi que les défis et travaux de recherche actuels dans le domaine (architectures complexes, multi-coeurs, sécurisation des systèmes temps réel).

Mots clé : temps réel, compilation, architecture des processeurs, analyse statique de programmes