Reproduction de : Thèse de doctorat : Informatique et télécommunication : Toulouse, INPT : 2004. / Titre provenant de l'écran-titre. Bibliogr. 133 réf.

Reproduction de : Thèse de doctorat : Informatique : Lyon 3 : 2004. / Titre provenant de l'écran-titre. Bibliogr. Index.

Thèse doctorat : Informatique : Rennes 1 : 2008. / Titre provenant de la page du titre du document électronique. Bibliogr. p. 173-179.

Th. doct.--Informatique--Orléans, 1995. / Bibliogr. p. 129-134. Résumé en anglais et en français. 1996 d'apès la déclaration de dépôt légal.

De nombreux outils ont été développés pour faire évoluer au cours du temps une application et/ou sa plate-forme d'exécution en fonction de l'apparition de nouveaux besoins. Dans le cadre de Java, ils se présentent souvent sous la forme de nouveaux compilateurs manipulant un langage Java enrichi, de chargeurs de classes évolués qui modifient le code compilé de l'application afin d'ajouter à celle-ci de nouvelles propriétés, ou encore de machines virtuelles spécialisées. Cependant ces différents outils sont diffcilement combinables entre eux et/ou réutilisables en dehors de leur contexte. C'est pourquoi nous proposons, dans le cadre de Java, une machine virtuelle ouverte et entièrement écrite en Java pour conserver la portabilité, capable d'évoluer au cours du temps. Elle dispose d'une architecture à composants qui s'inspire le plus fidèlement possible de la spécification de Sun Microsystems. Un composant de Corosol est une abstraction des unités fonctionnelles d'une machine virtuelle (comme le chargeur de classes ou les fils d'exécution), mais aussi des unités de stockage (comme le tas ou la pile d'exécution) et de tous les mécanismes internes liés à l'exécution (comme la résolution dynamique de méthodes). L'architecture de Corosol est décrite par des interfaces, qui spécifient les services des composants mais aussi comment ils s'intègrent dans Corosol et communiquent entre eux. Une implantation par défaut est fournie pour chaque composant. L'implantation de chaque composant peut être choisie avant le démarrage de Corosol par simple paramétrage. Cependant, l'originalité principale de notre machine virtuelle est une puissante interface d'introspection. Elle permet d'une part à l'application de consulter à tout instant les caractéristiques de sa plate-forme d'exécution afin de pouvoir s'y adapter. D'autre part, elle autorise l'application qui s'exécute à créer des composants pour la machine virtuelle à partir d'objets qui lui sont propres, et à changer les composants existants par les nouveaux, à n'importe quel moment. Notre travail a principalement consisté à définir et implanter cette interface d'introspection.

On assiste depuis quelques années à l'émergence de réseaux de machines, qualifiés de dynamiques, qui ne sont plus limités à une interconnexion de stations de travail définissant un réseau stable. Ces plates-formes intègrent de plus en plus des équipements mobiles et à faibles ressources. L'exploitation effective de ces éseaux dynamiques constitue encore un défi. Du fait de la volatilité des équipements et de leur hétérogénéité, on ne peut avoir une connaissance a priori de toutes les ressources logicielles et matérielles qui sont disponibles dans ces réseaux. De plus, la connectivité entre les différentes machines ne peut être garantie : de nombreux équipements sont régulièrement mis en veille et l'utilisation detechnologie sans fil limite la portée de communication entre les machines. Ces réseaux dynamiques commencent à être exploités pour fournir des applications censées être ubiquitaires, c'est-à-dire des applications dont les fonctionnalités sont accessibles de partout, indépendamment de l'équipement utilisé. Mais de telles applications sont par nature complexes et leur conception est rendue difficile du fait du caractère dynamique des réseaux visés. Le travail décrit dans ce mémoire de thèse a permis de développer des méthodes pour concevoir et déployer des applications ubiquitaires dans des réseaux dynamiques. En nous appuyant sur le modèle de composants Fractal, nous définissons le concept de composants hiérarchiques ubiquitaires, briques d'assemblage des applications ubiquitaires. Un schéma de distribution de ces composants est élaboré afin que ceux-ci puissent offrir leurs services depuis n'importe quelle machine du réseau. Cette distribution des fonctionnalités des composants sur plusieurs machines impose de prendre en compte les déconnexions réseau qui pourraient conduire au dysfonctionnement de l'application. Pour cela, nous avons défini au sein du modèle de composants ubiquitaires le concept d'interface active qui permet de continuer à utiliser certaines parties de l'application tout en isolant celles inutilisables du fait des problèmes de connectivité. Les approches traditionnelles de déploiement ne sont pas adaptées au déploiement des composants ubiquitaires dans les réseaux dynamiques. Dans ces réseaux, les ressources qui sont présentes ne peuvent être connues à l'avance, ce qui empêche la désignation explicite des machines cibles devant héberger les composants. Dans notre approche, le placement des composants est spécifié à l'aide de contraintes exprimant le besoin des composants vis-à-vis des ressources nécessaires à leur exécution. Après avoir présenté un langage permettant la définition de telles contraintes, nous proposons un support intergiciel qui réalise le déploiement d'une application ubiquitaire même si initialement, les ressources exigées par ses composants ne sont pas disponibles et que certaines machines sont inaccessibles. Le processus de déploiement que nous proposons est qualifié de propagatif : les composants sont instanciés au fur et à mesure de la disponibilité des ressources et de l'arrivée des machines. Lorsque des fluctuations de ressources interviennent dans le réseau, les applications ubiquitaires sont amenées à être reconfigurées. La solution que nous présentons permet de rendre ces reconfigurations complètement autonomes, ne nécessitant ainsi plus aucune intervention manuelle. L'ensemble des concepts introduits dans cette thèse a fait l'objet du développement d'un prototype fondé sur une implantation Fractal.

Thèse doctorat : Informatique : Rennes 1 : 2005. / Bibliogr. p. 135-145.

Thèse doctorat : Informatique : Rennes 1 : 2007. / Bibliogr. p. 115-118.

Reproduction de : Thèse de doctorat : Informatique : Lille 1 : 2005. / N° d'ordre (Lille 1) : 3752. Titre provenant de la page de titre du document numérisé. Bibliogr. p.147-156.

Cette thèse propose une approche pour intégrer l'utilisation des propriétés temporisées stochastiques dans un processus continu de design fondé sur des modèles à l'exécution. La spécification temporelle de services est un aspect important des architectures à base de composants, par exemple dans des réseaux distribués volatiles de nœuds informatiques. L'approche models@runtime facilite la gestion de ces architectures en maintenant des modèles abstraits des archi- tectures synchronisés avec la structure physique de la plate-forme d'exécution distribuée. Pour les systèmes auto-adaptatifs, la prédiction de délais et de débit d'un assemblage de composants est primordial pour prendre la décision d'adaptation et accepter les évolutions qui sont conformes aux spécifications temporelles. Dans ce but, nous définissons une extension du métamodèle fondée sur les réseaux de Petri stochastiques comme un modèle temporisé interne pour la prédiction. Nous concevons une bibliothèque de patrons pour faciliter la spécification et la prédiction des propriétés temporisées classiques de modèles à l'exécution et rendre la synchronisation des comportements et des changements structurels plus facile. D'autre part, nous appliquons l'approche de la modélisation par aspects pour tisser les modèles temporisés internes dans les modèles temporisés de comportement du composant et du système. Notre moteur de prédiction est suffisament rapide pour effectuer la prédiction à l'exécution dans un cadre réaliste et valider des modèles à l'exécution.