Si la sécurité est une notion essentielle aux applications, particulièrement aux applications distribuées, ses nombreux concepts représentent une étape difficile de leur développement. Les intergiciels actuels intègrent un grand nombre de technologies relatives aux concepts de sécurité. Cependant, ils laissent aux développeurs la tâche de choisir la technologie la plus adaptée ainsi que la gestion des processus sous-jacents. Cet exercice se révèle d'autant plus difficile lorsque l'application évolue dans un environnement dynamique tel que celui des grilles de calcul. Afin de faciliter le déploiement d'applications distribuées et sécurisées, cette thèse présente un modèle de sécurité décentralisé permettant aux divers acteurs (administrateurs, fournisseurs de ressources, utilisateur) d'exprimer leurs politiques de sécurité. Son utilisation se veut totalement transparente au code métier des applications. La configuration de la politique de sécurité d'une application est exprimée dans des fichiers externes en dehors du code source de cette dernière. Il est ainsi possible d'adapter la sécurité de l'application en fonction de son déploiement. Notre mécanisme de sécurité est conçu pour s'adapter dynamiquement aux situations survenant dans le cycle de vie d'une application distribuée, notamment l'acquisition de nouvelles ressources et la création de nouveaux objets. L'implantation du modèle au sein d'une bibliothèque pour le calcul distribué a permis de démontrer la faisabilité de l'approche et ses avantages. En effet, son implantation transparente a permis son intégration immédiate avec les autres modules de la bibliothèque (communications de groupe, mobilité, composants, pair-à-pair). Les tests de performance réalisés afin d'évaluer son surcoût ont confirmé la validité de l'approche.

Les structures de conversion d'énergie trouvent de plus en plus leur place dans des produits grand public. Ce marché étant fortement concurrentiel, les efforts des industriels sont concentrés sur la réduction de leurs coûts et l'augmentation de leur fiabilité. Un moyen pour répondre à ces contraintes est l'intégration des structures de conversion d'énergie. Ce mémoire de thèse traite le sujet de l'intégration monolithique des fonctionnalités autour des interrupteurs semi-conducteurs de puissance. L'étude est plus particulièrement portée sur l'intégration de l'alimentation de la commande rapprochée. Deux solutions techniques, distinctes et complémentaires, toutes les deux intégrables, ont été développées. Des méthodes de dimensionnement et de conception sont présentées, tenant compte des conditions et des contraintes technologiques propres aux composants de puissance à structure verticale. La première solution contenant deux composants MOSFETs a été étudiée sur la base de simulations et de réalisations expérimentales. Cette solution a été testée avec des composants discrets et avec les composants réalisés. La seconde solution contient un MOSFET et un JFET. Cette dernière a été présentée et étudiée quasi exclusivement à base de travaux de simulations. Plusieurs "familles" de prototypes ont été conçues, dimensionnées et réalisées avec pour objectif de valider le concept, la démarche de conception, les principes de fonctionnement et "l'intégrabilité" d'une fonction d'auto-alimentation.

Dans les transistors MOS (Métal Oxyde Semiconducteur) fortement submicroniques (<100 nm), l'augmentation de la densité d'intégration des composants s'accompagne d'une dégradation de certaines caractéristiques électriques (effets de canal court), tout particulièrement dans le régime sous le seuil. Parmi les solutions possibles pour atteindre les longueurs de grille de « fin de roadmap », les architectures MOSFET (Transistor à effet de champ de type MOS) à grille multiple sur SOI (Silicium sur Isolant) apparaissent particulièrement séduisantes, surtout en termes de contrôle électrostatique. <br />Grâce au simulateur particulaire MONACO de type Monte Carlo, ce travail commence par analyser la transition apparaissant dans les transistors ultracourts entre un régime de transport diffusif vers un régime de plus en plus balistique. D'après notre étude, les dispositifs ultimes devraient délivrer des courants très proches de la limite balistique.<br />Ensuite, l'optimisation du dimensionnement de tels transistors MOS à grille multiple sur SOI a été étudiée, entre autres pour limiter l'augmentation des impédances parasites. Le meilleur compromis entre comportement sous le seuil acceptable et rapidité est obtenu dans le cas des architectures à double grille.<br />Enfin, une nouvelle version très novatrice du logiciel MONACO développée durant cette thèse est présentée. Par résolution de l'équation de Schrödinger 1D, elle permet la prise en compte des effets de quantification d'énergie qui ont lieu perpendiculairement à la direction du transport de charges 2Dk, c'est à dire selon l'axe des grilles, dans les MOSFET à double grille ultra courts qui sont aussi ultrafins.

Le théorème de Burke est un résultat classique en théorie des files d'attente. Il établit que le processus de départ d'une file M/M/1 est un processus de Poisson de même intensité que le processus des arrivées. Nous présentons des extensions de ce résultat à la file d'attente et au modèle de stockage. Nous abordons ensuite l'étude de ces systèmes en tandem et en régime transitoire. Nous prouvons que les équations qui régissent la dynamique des deux systèmes (file d'attente et modèle de stockage) sont les mêmes alors que les variables pertinentes sont différentes selon le modèle qui nous intéresse. En utilisant des analogies entre ces systèmes et l'algorithme de Robinson-Schensted-Knuth, nous donnons une preuve élégante de la propriété de symétrie de chacun des deux systèmes. Nous nous intéressons également aux corrélations entre les services des clients successifs au sein d'une période d'activité. Nous revenons par la suite au théorème de Burke que l'on peut voir comme étant un résultat de point fixe: le processus de Poisson est un point fixe pour la file d'attente avec des lois de service exponentielles. Nous prouvons des résultats de points fixes dans le cadre des grandes déviations où les variables d'entrée sont décrites par le biais de leurs fonctions de taux.

Ce travail porte sur des essais de traction réalisés sur des éprouvettes d'aluminium lithium entaillées, avec des observations in-situ du champ de déformations.La réduction de consommation de carburant est actuellement une priorité pour l'aviation. Les alliages d' Al-Li sont d'excellents candidats pour réduire le poids des avions puisqu'ils combinent de très bonnes propriétés mécaniques avec une densité inférieure à celle des alliages conventionnels. Cependant, les propriétés mécaniques de ces matériaux sont fortement anisotropes, et il est essentiel de contrôler ce phénomène afin d'utiliser le matériel à bon escient. À cette fin, il est nécessaire d'avoir le maximum d'informations sur le matériau tant sur ses propriétés microstructurales (taille et forme des grains...) que mécaniques (élasticité, module de Young, résistance à la fissuration ...). Mais la connaissance de ces propriétés mécaniques globales n'est pas suffisante pour maximiser la résistance à la fissuration (critique dans l'application aéronautique). Dans ce contexte, ce travail vise à quantifier l'influence de la microstructure locale (orientation et la taille des grains) sur la fissuration.La propagation des fissures dans des tôles d'épaisseur 2 mm a été analysée. Les essais de traction ont été effectués sur des échantillons entaillés avec observation in-situ du champ de déplacement.Ainsi, la méthode de la grille a été adaptée pour déterminer de grandes déformations dans les grains. Le champ de déplacement a été caractérisée par la déformation d'une grille croisée collée (pas 30 um), et les paramètres affectant la qualité des résultats (résolution et résolution spatiale) ont été optimisés. Afin de compenser le mouvement du corps rigide, un nouveau système automatique d'acquisition d'image conduisant à de petites déformations entre chaque image a été développé. Une nouvelle méthode d'extraction de phase a été instauré, permettant un déroulage temporel de la phase.

L'émergence des grilles de calcul permet à la communauté scientifique d'envisager l'accès à une puissance de calcul jusqu'à présent inégalée. Toutefois, les caractéristiques d'une grille telles que la grande échelle, la volatilité des nœuds qui la composent ou encore leur hétérogénéité rendent son utilisation complexe. Cette thèse étudie la conception de services de niveau système pour l'exécution d'applications distribuées dans des grilles de très grande taille. Grâce à une approche complètement distribuée et générique, notre système peut fédérer les ressources de n'importe quel type de grille, même ceux composés de ressources volatiles et hétérogènes. Afin de simplifier l'utilisation d'une grille, nous proposons d'offrir aux utilisateurs une vue de type système à image unique qui permet d'occulter la distribution des ressources. Nous proposons également des services permettant d'exécuter une large gamme d'applications distribuées de façon efficace et fiable.

Les applications scientifiques d'aujourd'hui, telles les simulations de grands phénomènes naturels, requièrent une grande puissance de calcul ainsi qu'une importante capacité de stockage. Les grilles de calcul apparaissent comme une solution permettant d'atteindre cette puissance par la mise en commun de ressources de différentes organisations. Ces architectures présentent en revanche des caractéristiques rendant leur programmation complexe: elles sont dynamiques, hétérogènes, réparties à grande échelle. Cette thèse s'intéresse aux problématiques liées à la conception d'un service de partage de données pour les grilles de calcul. L'objectif est de permettre un accès transparent aux données, en automatisant la localisation, le transfert, la gestion de la persistance et de la cohérence des données partagées. Nous nous sommes plus particulièrement concentrés sur la gestion de la cohérence et de la persistance des données en environnement dynamique. Dans un tel contexte, assurer la persistance nécessite la mise en place de mécanismes de tolérance aux fautes. Nous proposons une approche pour gérer conjointement ces deux aspects via une architecture logicielle multiprotocole permettant de coupler différents protocoles de cohérence avec différents mécanismes de tolérance aux fautes. Nous proposons une conception hiérarchique de cette architecture, adaptée à la topologie réseau des grilles de calcul. Ces contributions ont été mises en oeuvre au sein du service de partage de données pour grilles JUXMEM. Les expérimentations menées sur la grille expérimentale Grid'5000 montrent que notre conception hiérarchique permet d'améliorer les performances des accès aux données partagées.

Ce manuscrit décrit les travaux de recherche que nous avons mené pendant les six dernières années sur le thème du partage transparent des données réparties à grande échelle. L'infrastructure visée a été celle des grilles de calcul. Notre objectif a été de répondre à la question: comment serait-il possible de construire un système fournissant un modèle transparent d'accès aux données, tout en tenant compte des contraintes spécifiques aux infrastructures physiques utilisées (architecture hiérarchique, distribution à grande échelle, volatilité, tolérance aux défaillances, etc.)? En réponse à ce défi, nous avons proposé le concept de service de partage de données pour grilles, pour lequel nous avons défini une spécification, une architecture et une mise en oeuvre. Ce travail se situe à la frontière de plusieurs domaines: systèmes à mémoire virtuellement partagée, systèmes pair-à-pair, systèmes tolérants aux fautes. En nous appuyant sur des résultats déjà existants qui proposaient des solutions partielles à notre problème, notre approche a consisté à étendre, adapter et coupler ces solutions partielles et à rajouter les "briques" manquantes, afin de construire une solution globale, plus complexe, mais qui satisfasse l'ensemble des propriétés recherchées. Un résultat issu de cette approche est la notion de groupe hiérarchique auto-organisant, qui combine des protocoles de cohérence issus des systèmes à mémoire virtuellement partagée avec des protocoles de gestion de groupe tolérants aux fautes. Sur cette notion repose notre approche pour la définition de protocoles de cohérence tolérants aux fautes, adaptés aux grilles. Nous avons attaché une importance particulière à la validation expérimentale} de notre proposition par une mise en oeuvre et par une évaluation sur des plates-formes réelles à travers des prototypes expérimentaux. Ceci nous a permis de réaliser des expériences multisites en grandeur nature sur la plate-forme Grid'5000, avec l'objectif d'évaluer les bénéfices apportés par notre service de partage de données aux environnements de calcul réparti sur grille. A cet effet, nous avons évalué la capacité de JuxMem à s'intégrer avec plusieurs modèles de programmation pour grille d'une part (GridRPC, modèles à base de composants) et avec d'autres technologies de stockage d'autre part (Gfarm, ASSIST). Cette intégration a été réalisée en collaboration avec des équipes françaises, telles que les équipes-projets REGAL et GRAAL de l'INRIA, mais aussi avec des équipes étrangères des universités de Pise et de Calabre en Italie, d'Illinois/Urbana-Champaign aux Etats-Unis et de Tsukuba au Japon. Enfin, nous avons travaillé en étroite concertation avec l'équipe JXTA de Sun Microsystems (Santa Clara, Etats-Unis), qui a soutenu nos efforts à travers un contrat de collaboration industrielle.

L'environnement d'exécution est un composant clé de l'environnement de programmation et d'exécution d'applications parallèles. Il fournit des services aux processus de l'application parallèle. Parmi ces services, les plus fondamentaux sont la mise en relation des processus entre eux et la transmission des signaux et des entrées-sorties. Cette thèse porte sur l'étude des environnements d'exécution à grande échelle et les services rendus à l'application sur des systèmes de grande taille. La première partie étudie les performances de l'environnement d'exécution à grande échelle et propose une approche centrée sur les topologies pour supporter l'application de manière efficace. La seconde partie étudie un rôle supplémentaire rempli par l'environnement d'exécution dans des systèmes constitué d'un grand nombre de composants avec le support de la tolérance aux défaillances. La troisième et la quatrième partie concernent un type particulier de systèmes à grande échelle avec les grilles de calcul. Ces systèmes présentent des particularités spécifiques à l'utilisation de ressources géographiquement distantes et à l'hétérogénéité de ces ressources. Les problématiques de connectivité sur les grilles de calcul et une extension de l'environnement d'exécution conçue pour y faire face sont présentées dans la troisième partie de cette thèse. La quatrième partie présente une méthode de conception d'applications destinées aux grilles de calcul et des exemples d'applications typiques présentant de bonnes performances.

Les travaux présentés dans cette thèse portent sur l'exécution d'applications sur les environ- nements hétérogènes et distribués que sont les grilles de calcul. Nous étudions de bout en bout le processus permettant à des utilisateurs d'exécuter des applications scientifiques complexes. Les contributions de cette thèse se situent donc à plusieurs niveaux. 1) Déploiement d'inter- giciel hiérarchique : nous proposons dans un premier temps un modèle d'exécution pour les intergiciels hiérarchiques. À partir de ce modèle, nous présentons plusieurs heuristiques pour définir automatiquement la meilleure hiérarchie en fonction des exigences des utilisateurs et du type de plate-forme. Nous évaluons la qualité de ces heuristiques en conditions réelles avec l'intergiciel Diet. 2) Partitionnement de graphe : nous proposons un algorithme distribué et auto-stabilisant pour partitionner un graphe quelconque ayant des arêtes pondérées entre les nœuds. Le partitionnement est réalisé en fonction des distances pondérées entre les nœuds et forme des grappes au sein desquelles les nœuds sont à une distance maximale k d'un nœud élu dans la grappe. 3) Ordonnancement : nous étudions l'ordonnancement de tâches indépen- dantes sous des contraintes de limitation d'utilisation des ressources. Nous définissons des formulations en programme linéaire pour résoudre ce problème dans deux cas : lorsque les tâches arrivent toutes en même temps et lorsqu'elles ont des dates d'arrivée. 4) Simulations cosmologiques : nous avons étudié le comportement d'applications nécessaires à l'exécution de workflows de simulations cosmologiques. Puis, en se basant sur l'intergiciel de grille Diet, nous avons mis en place une infrastructure complète permettant à des utilisateurs non expérimentés de soumettre facilement des simulations cosmologiques sur une grille de calcul.