Partitionnement résilient 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.