Programmation synchrone de pilotes de périphériques pour un contrôle global de ressources dans les systèmes embarqués

Résumé : Le travail présenté dans cette thèse porte sur la conception de logiciels pour systèmes embarqués. Outre les contraintes de programmation provenant des faibles quantité de mémoire et capacité de calcul, ces plates-formes matérielles ne disposent parfois que de peu d'énergie pour fonctionner. Les applications usuelles de ces systèmes imposent de plus des objectifs en matière de réactivité et de durée de vie. Par ailleurs, quelques-unes des ressources fournies sont partagées entre les composants, qu'il s'agisse de l'énergie délivrée par une batterie, ou encore des bus de communication qui les relient. Il est donc nécessaire de pouvoir assurer des propriétés globales portant sur l'ensemble de la plate-forme, telles que le contrôle des accès aux bus, ou encore la maîtrise de la puissance électrique consommée. Cependant, les pilotes des différents périphériques sont d'ordinaire programmés individuellement. La connaissance nécessaire à l'implantation d'une politique de contrôle global est alors distribuée parmi diverses portions du logiciel. Nous exposons une solution au problème du contrôle global des ressources, basée sur une vue centralisée des états des composants matériels de la plate-forme. Bâtie sur un principe de para-virtualisation, notre approche consiste en l'introduction d'une couche de contrôle ; le système d'exploitation invité est adapté afin de communiquer avec le matériel à l'aide de celle-ci. La couche de contrôle incorpore les pilotes des périphériques, conçus à partir d'automates dont les états correspondent aux modes de fonctionnement ou de consommation du composant géré. Un contrôleur est ajouté, dont le rôle est d'assurer les propriétés globales. L'ensemble de ces automates est programmé à l'aide d'un langage synchrone, puis compilé en code séquentiel. Nous proposons une implantation de la couche de contrôle pour une architecture de nœuds de réseaux de capteurs sans fil, qui constitue une plate-forme représentative des systèmes embarqués contraints. Nous évaluons qualitativement et quantitativement ce prototype afin de montrer la viabilité de l'approche. Son impact sur le reste du logiciel est également apprécié, que celui-ci soit construit selon un modèle d'exécution purement événementiel ou multi-fils. Enfin, nous passons en revue plusieurs extensions possibles, et identifions quelques bonnes pratiques pour son usage dans d'autres contextes.
Type de document :
Thèse
Autre [cs.OH]. Université de Grenoble, 2012. Français. 〈NNT : 2012GRENM024〉
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-00727281
Contributeur : Abes Star <>
Soumis le : lundi 3 septembre 2012 - 12:08:39
Dernière modification le : vendredi 6 juillet 2018 - 10:08:02
Document(s) archivé(s) le : mardi 4 décembre 2012 - 03:41:14

Fichier

23117_BERTHIER_2012_archivage1...
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-00727281, version 1

Collections

Citation

Nicolas Berthier. Programmation synchrone de pilotes de périphériques pour un contrôle global de ressources dans les systèmes embarqués. Autre [cs.OH]. Université de Grenoble, 2012. Français. 〈NNT : 2012GRENM024〉. 〈tel-00727281〉

Partager

Métriques

Consultations de la notice

1912

Téléchargements de fichiers

776