Compression de code et optimisation multicritère des systèmes embarqués dans un contexte temps réel strict

par Haluk Ozaktas

Thèse de doctorat en Informatique

Sous la direction de Nathalie Drach-Temam et de Karine Heydemann.

Soutenue en 2011

à Paris 6 .


  • Résumé

    Pour des raisons économiques, énergétiques et/ou ergonomiques, les systèmes embarqués sont soumis à de nombreuses contraintes comme être performants en moyenne ou dans le pire cas, avoir une consommation d'énergie et une mémoire de taille aussi réduite que possible. En conséquence, les systèmes embarqués ont plusieurs critères à optimiser lors de leur conception. Ce travail de thèse s'intéresse à la mise au point de stratégies d'optimisation de code multicritère pour des applications embarquées potentiellement temps réel strict. Dans un premier temps, un schéma de compression de code a été développé et mis en place pour optimiser principalement la taille de code. Ce schéma utilise une décompression dans le pipeline du processeur pour pouvoir optimiser aussi la consommation d’énergie et la performance moyenne ou pire cas. L'analyse des effets du schéma proposé a montré qu’il peut simultanément optimiser, ou offrir de bons compromis entre, plusieurs critères. Dans un deuxième temps, une plateforme d’optimisation multicritère a été mise en œuvre pour appliquer simultanément plusieurs transformations de code ciblant différents critères. Cette plateforme utilise une approche itérative pour trouver les points de compromis entre les critères d’intérêt. Finalement, afin de mettre au point des stratégies d'optimisation multicritère, nous avons proposé d'utiliser une méthode de comparaison statistique de l'efficacité des algorithmes de recherche à trouver rapidement de bonnes optimisations. Nous avons appliqué cette méthode à différents algorithmes de recherche dans plusieurs cas d'optimisation.

  • Titre traduit

    Code compression and multi-criteria optimization of real-time embeded systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (XVI-133 p.)
  • Annexes : Bibliogr. p. 127-133. 79 réf. bibliogr.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 2011 376
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.