Analyse temporelle de systèmes temps-réel : état de l’art et défis
le 31 mars 2023
14h00Campus de Beaulieu Salle Jersey - Bât. 12D
Intervention de Isabelle Puaut, enseignante-chercheuse à l'université Rennes 1, laboratoire IRISA, dans l’équipe PACAP, dans le cadre des séminaires du département Informatique.
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
Mots clé : temps réel, compilation, architecture des processeurs, analyse statique de programmes
- Thématique(s)
- Formation, Recherche - Valorisation
- Contact
- David Pichardie
Mise à jour le 24 mars 2023