Partitionnement resilient des services informatiques pervasifs

Si l'informatique omniprésente devient de plus en plus réaliste du point de vue matériel, les outils logiciels correspondants n'ont pas évolué au même rythme. Cela impose un lourd fardeau aux programmeurs qui doivent permettre aux applications de répartir leurs fonctionnalités sur les dispositifs disponibles dans l'environnement. La vision de la thèse est d'explorer les techniques de partitionnement d'applications pour le développement d'applications informatiques pervasives. En utilisant ces techniques, les applications logicielles peuvent être décomposées en parties qui peuvent être distribuées entre plusieurs dispositifs. Nous proposons un modèle d'acteur résilient pour ajouter structurellement la propriété de partitionnement aux applications pervasives. Ce modèle garantit qu'une application peut être dynamiquement partitionnée pour s'exécuter sur n'importe quel dispositif disponible dans l'environnement au moment de l'exécution. De plus, l'application partitionnée qui en résulte est résiliente aux défaillances du réseau. Ce livre sera utile aux chercheurs qui s'intéressent à l'informatique pervasive, ainsi qu'aux concepteurs de langages de programmation pour les langages spécialement conçus pour la création d'applications logicielles fonctionnant dans des réseaux mobiles ad hoc.