Assas Recherche | Cœur de calcul efficace, prédictible et composable pour les systèmes temps-réel critiques

Cœur de calcul efficace, prédictible et composable pour les systèmes temps-réel critiques (Document en Anglais)

Accès au(x) document(s)

Accéder au(x) document(s) :

Ce document est protégé en vertu du Code de la Propriété Intellectuelle.

Modalités de diffusion de la thèse :

Thèse consultable sur internet, en texte intégral.

Informations sur les contributeurs

Auteur : Gruin Alban

Gruin, Alban

Nom

Gruin

Prénom

Alban

Nationalité

Français

Date de soutenance : 03-12-2024

Directeur(s) de thèse : Sainrat Pascal

Sainrat, Pascal

Nom

Sainrat

Prénom

Pascal

- Carle Thomas

Carle, Thomas

Nom

Carle

Prénom

Thomas

Etablissement de soutenance : Université de Toulouse (2023-....)

Université de Toulouse (2023-....)

Nom

Université de Toulouse (2023-....)

Laboratoire : Institut de Recherche en Informatique de Toulouse (1995-....)

Institut de Recherche en Informatique de Toulouse (1995-....)

Nom

Institut de Recherche en Informatique de Toulouse (1995-....)

Ecole doctorale : École doctorale Mathématiques, informatique et télécommunications (Toulouse)

École doctorale Mathématiques, informatique et télécommunications (Toulouse)

Nom

École doctorale Mathématiques, informatique et télécommunications (Toulouse)

Informations générales

Discipline : Informatique et télécommunications
Classification : Bibliothéconomie et sciences de l'information

Mots-clés libres : WCET, Architecture des ordinateurs, Systèmes temps-réel, Anomalies temporelles
Mots-clés :

Analyse Pire Cas
Temps réel (informatique)
Architecture des ordinateurs

Résumé : Les systèmes temps-réel sont un type de systèmes informatiques dans lesquels la notion de temps a son importance au-delà de la seule fonctionnalité. Dans cette catégorie, les systèmes temps-réel stricts sont soumis à des contraintes temporelles fortes. Ils sont généralement des systèmes critiques : leur incapacité à compléter une tâche en un temps donné peut entraîner des conséquences graves pour le système en lui-même, ses opérateurs, ou les personnes dépendant de son bon fonctionnement. Pour s'assurer du respect des contraintes temporelles par l'application, il est généralement fait recours au calcul de leur pire temps d'exécution (WCET). Cette analyse dépend de la plateforme matérielle sous-jacente. Les besoins grandissants de ces applications demandent des systèmes matériels de plus en plus performants. Cependant, ces systèmes sont généralement plus complexes, et rendent le calcul du WCET de plus en plus difficile. Parmi les difficultés rencontrées, on trouve les anomalies temporelles, des situations où un meilleur cas local (calculé sur une petite portion d'un programme) peut amener au pire cas pour l'ensemble du programme. Cela demande aux outils d'analyse de considérer toutes les situations possibles lorsque l'état du matériel n'est pas connu avec certitude. Cette énumération est combinatoire ; elle est donc possible sur des systèmes matériels simples tels que les plateformes mono-cœur, mais pas aussi complexes que les multi-cœurs. Plusieurs axes de recherche se sont développés autour de cette problématique : l'amélioration des techniques et des outils de calcul de pire temps d'exécution, que ce soit au travers de l'interprétation abstraite ou de l'analyse probabiliste ; l'ordonnancement des tâches exécutées par le système de manière à réduire le risque d'interférences ; ou la conception de processeurs spécialisés, soit donnant la main sur leur comportement temporel, ne souffrant pas d'anomalies temporelles. Les contributions présentées dans cette thèse s'inscrivent dans ce dernier axe, au travers du design de processeurs prédictibles, de la modélisation et de la démonstration de propriétés temporelles à l'aide d'un assistant de preuves et de la vérification de tels modèles par simulation.

Informations techniques

Type de contenu : Text
Format : PDF

Informations complémentaires

Entrepôt d'origine :

STAR : dépôt national des thèses électroniques françaises

Identifiant : 2024TLSES187
Type de ressource : Thèse

Fiche descriptive