LogoLogo

Agrou, Hicham. Architecture multi-coeur déterministe pour l'avionique

Agrou, Hicham (2014). Architecture multi-coeur déterministe pour l'avionique.

[img]PDF (Accès restreint. S'adresser à l'accueil de la BU Sciences de Toulouse) - Accès intranet - nécessite un logiciel de visualisation PDF comme GSview, Xpdf or Adobe Acrobat Reader
4Mb

Résumé en francais

L'élaboration d'un système temps réel requiert des dates d'échéance pour chacune des tâches à effectuer. L'ordonnancement nécessite de connaître parmi tous les scénarios possibles d'exécution, la plus longue durée entre l'activation de la tâche et l'instant de sa terminaison. Pour répondre aux besoins accrus de performance, les fondeurs ont enrichi leurs architectures en fonctionnalités matérielles complexes. La réduction de la moyenne des temps d'exécution, la prise en compte matérielle du domaine d'application, et ce, en maintenant une rétrocompatibilité peuvent expliquer cette évolution qui rend difficile l'estimation des pires temps d'exécution. L'introduction des processeurs multi-cœurs en avionique soulève des interrogations notamment quant à la manière dont les instructions sont exécutées. Nous proposons une procédure d'évaluation d'architectures multi-cœurs permettant d'identifier des situations où les transactions présentent des latences anormalement élevées uniquement dues à la concurrence des accès au niveau de l'interconnexion. Nous appliquons ce protocole de test à une architecture PowerPC(c) octo-cœur citée par de nombreuses études avioniques, le P4080 du fabricant Freescale(c). Nous mettons en évidence les étapes clés de configuration pour la maîtrise des échanges et des moyens de mesure du temps jusqu'à la mise en évidence de situations présentant ces altérations temporelles. Nous proposons également une interconnexion dont le principe consiste à maîtriser le comportement transactionnel de tout type d'initiateur, à garantir le partitionnement spatial/ temporel et la politique de partage aux ressources. Une caractérisation temporelle est également présentée.

Sous la direction du :
Directeur de thèse
Sainrat, Pascal
Ecole doctorale:Mathématiques, informatique, télécommunications de Toulouse (MITT)
laboratoire/Unité de recherche :Institut de Recherche en Informatique de Toulouse (IRIT), UMR 5505
Mots-clés libres :Multi-coeur - Performance - Avionique - Déterminisme - Interconnexion
Sujets :Electricite, électronique, automatique
Déposé le :30 Sep 2016 10:07