Maîtrise de la couche hyperviseur sur les architectures multi-coeurs COTS dans un contexte avionique

Résumé : Nous nous intéressons dans cette thèse à la maîtrise de processeurs multi-cœurs COTS dans le but de les rendre utilisables dans des équipements avioniques, qui ont des exigences temps réelles dures. L’objectif est de permettre l'application de méthodes connues d’évaluation de pire temps d’exécution (WCET) sur un ensemble de tâches représentatif d’applications avioniques. Au cours de leur exécution, les tâches exécutées sur différents cœurs vont accéder simultanément à des ressources matérielles qui sont partagées entre les cœurs, en particulier la mémoire principale. Cela pourra entraîner des mises en attente de certains accès que l'on qualifie d'interférences. Ces interférences peuvent avoir un impact élevé sur le temps d'exécution du logiciel embarqué. Sur un processeur COTS, qui est acheté dans le commerce et vise un marché plus large que l'avionque, cet impact n'est pas borné. Nous cherchons à garantir l'absence d'interférences grâce à des moyens logiciels, dans la mesure où les processeurs COTS ne proposent pas de mécanismes adéquats au niveau matériel. Nous cherchons à étendre des concepts de logiciel déterministe de telle sorte à les rendre compatibles avec un objectif de réutilisation de logiciel existant. A cet effet, nous introduisons la notion de logiciel de contrôle, qui est un élément fonctionnellement neutre, répliqué sur tous les cœurs, et qui contrôle les dates des accès des cœurs aux ressources communes de telle sorte à offrir une isolation temporelle entre ces accès. Nous étudions dans cette thèse le problème de faisabilité d'un logiciel de contrôle sur un processeur COTS, et de son efficacité vis à vis d'applications avioniques.
Type de document :
Thèse
Génie logiciel [cs.SE]. Télécom ParisTech, 2015. Français. 〈NNT : 2015ENST0034〉
Liste complète des métadonnées

Littérature citée [88 références]  Voir  Masquer  Télécharger

https://pastel.archives-ouvertes.fr/tel-01341758
Contributeur : Abes Star <>
Soumis le : lundi 4 juillet 2016 - 17:09:19
Dernière modification le : jeudi 11 janvier 2018 - 06:23:39
Document(s) archivé(s) le : mercredi 5 octobre 2016 - 15:33:24

Fichier

these_Jean.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01341758, version 1

Citation

Xavier Jean. Maîtrise de la couche hyperviseur sur les architectures multi-coeurs COTS dans un contexte avionique. Génie logiciel [cs.SE]. Télécom ParisTech, 2015. Français. 〈NNT : 2015ENST0034〉. 〈tel-01341758〉

Partager

Métriques

Consultations de la notice

761

Téléchargements de fichiers

423