Ressources limitées pour la mobilité : utilisation, réutilisation, garanties.

Whether it is a cell phone or a web server, an applet or a network packet, any software or hardware system is constrained by limitations on resources. Some have limited access to memory, others to disk or network connections. In particular, it is necessary to control the allocation and deallocation of resources, as well as the respect of protocols, so as to prevent overflows, attacks or misuse. Although this aspect of mobile and communicating systems is crucial, it is currently ignored by most process algebras. In order to address this problem, we have studied the notion of resources and formalized it, in calculi based on site mobility (i.e. Mobile Ambients) or name mobility (i.e. pi-calculus). We thus uncovered mechanisms for allocation and deallocation and methods to permit reuse of resources. Furthermore, we designed type systems to guarantee statically that a system, when executed, will never require more resources than it is allowed to use.Qu'il s'agisse de téléphones portables ou de serveurs web, d'applets ou de paquets réseau, les systèmes matériels et logiciels sont contraints par des limitations sur les ressources telles que la mémoire, l'utilisation du disque ou les connexions au réseau. En particulier, il est nécessaire de contrôler l'allocation et la désallocation des ressources ainsi que le respect de protocoles, afin de prévenir les dépassements de capacité ou d'autres formes d'attaque ou d'accidents. Ce aspect, pourtant central dans la conception d'applications mobiles et communicantes, est ignoré par la majorité des algèbres de processus. Afin de contribuer à résoudre ce problème, nous avons étudié la notion de ressources. Nous avons formalisé cette notion dans le contexte de calculs conçus autour de la mobilité de sites, tels que les Mobile Ambients, ou de la mobilité de noms, comme le pi-calcul. Nous avons ainsi mis en évidence les mécanismes d'allocation et de désallocation de ressources et dégagé des méthodes pour prendre en compte les ressources et de les réutiliser intelligemment. De plus, les systèmes de types que nous avons conçus permettent de garantir statiquement qu'un système, au cours de son exécution, ne nécessitera pas plus de ressources qu'il n'est autorisé à en utiliser