Debogage Interactif des systemes embarques multicoeur base sur le model de programmation

Résumé : Dans cette thèse, nous proposons d'étudier le débogage interactif d'applications pour les systèmes embarqués MPSoC (Multi-Processor System on Chip). Une étude de l'art a montrée que la conception et le développement de ces applications reposent de plus en plus souvent sur des modèles de programmation et des frameworks de développement. Ces environnements définissent les bonnes pratiques, tant au niveau algorithmique qu'au niveau des techniques de programmation. Ils améliorent ainsi le cycle de développement des applications destinées aux processeurs MPSoC. L'utilisation de modèles de programmation ne garantit cependant pas que les codes pourront etre exécutés sans erreur, en particulier dans le cas de la programmation dynamique, oú ils offrent très peu d'aide à la vérification. Notre contribution pour résoudre ces challenges consiste en une nouvelle approche pour le débogage interactif, appelée Programming Model-Centric Debugging, ainsi qu'une implémentation d'un prototype de débogueur. Le débogage centré sur les modèles rapproche le débogage interactif du niveau d'abstraction fourni par les modèles de programmation, en capturant et interprétant les événements générés pendant l'exécution de l'application. Nous avons appliqué cette approche sur trois modèles de programmation, basés sur les composants logiciels, le dataflow et la programmation d'accélérateur par kernels. Ensuite, nous détaillons comment nous avons développé notre prototype de débogueur, basé sur GDB, pour la programmation de la plate-forme STHORM de STMicroelectronics. Nous montrons aussi comment aborder le débogage basé sur les modèles avec quatre études de cas~: un code de réalité augmentée construit à l'aide de composants, une implémentation dataflow d'un décodeur vidéo H.264 and deux applications de calcul scientifique.
Type de document :
Thèse
Operating Systems [cs.OS]. Université de Grenoble, 2014. English
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-01010061
Contributeur : Kevin Pouget <>
Soumis le : jeudi 19 juin 2014 - 10:59:07
Dernière modification le : jeudi 11 octobre 2018 - 08:48:02
Document(s) archivé(s) le : vendredi 19 septembre 2014 - 10:51:13

Fichier

Identifiants

  • HAL Id : tel-01010061, version 1

Collections

Citation

Kevin Pouget. Programming-Model Centric Debugging for multicore embedded systems. Operating Systems [cs.OS]. Université de Grenoble, 2014. English. 〈tel-01010061〉

Partager

Métriques

Consultations de la notice

469

Téléchargements de fichiers

799