Skip to Main content Skip to Navigation
Theses

Programming-Model Centric Debugging for multicore embedded systems

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.
Document type :
Theses
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01010061
Contributor : Kevin Pouget <>
Submitted on : Thursday, June 19, 2014 - 10:59:07 AM
Last modification on : Friday, July 17, 2020 - 11:10:23 AM
Document(s) archivé(s) le : Friday, September 19, 2014 - 10:51:13 AM

Identifiers

  • HAL Id : tel-01010061, version 1

Collections

CNRS | UGA | LIG

Citation

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

Share

Metrics

Record views

596

Files downloads

1046