Equipe de recherche FOCUS

Foundations of Component-based Ubiquitous Systems

Présentation de l'équipe

L‘informatique ubiquitaire (UC) fait référence à une situation où des dispositifs informatiques sont distribués ou intégrés dans des activités et des objets du quotidien. Les réseaux sont à grande échelle, comprenant à la fois des composants matériels et des composants logiciels. En UC, les systèmes sont extrêmement mobiles et dynamiques : les programmes ou le matériel peuvent se déplacer et souvent fonctionner dans des réseaux possédés et utilisés par d'autres ; de nouveaux appareils ou pièces de logiciels peuvent être ajoutés, l'environnement du système ou les besoins logiciels peuvent changer. Les systèmes sont aussi hétérogènes (les éléments qui forment un système peuvent être assez différents les uns des autres) et ouverts (les composants d'un système peuvent n'avoir qu'une connaissance partielle de l'ensemble du système, et peuvent ne connaître qu'un sous-ensemble des entités qui fonctionnent dans le système). En informatique, un phénomène important récent est l'émergence de l'interaction et de la communication comme concepts clés en matière de programmation et d'architecture de système. Ceci est particulièrement évident en UC. Des systèmes distribués complexes sont pensés et conçus comme une composition structurée d'unités de calcul, généralement appelées composants. Ces composants sont supposés interagir entre eux et ces interactions sont censées être orchestrées en conversations et dialogues. Focus examine les fondements sémantiques pour l'UC. Ces fondements sont pensés comme des instruments pour parvenir à formaliser et vérifier d'importantes propriétés comportementales des systèmes, ainsi que pour proposer des constructions linguistiques pour ces derniers. Des prototypes sont développés pour tester l'implémentation et l'utilisation des modèles et des techniques.

Axes de recherche

En UC, les systèmes sont complexes. En conséquence, comme pour les systèmes complexes dans d'autres disciplines, telles que la physique, l'économie ou la biologie, on a besoin en UC de théories qui permettent de comprendre les systèmes, de les concevoir ou de les programmer, et de les analyser. Les modèles que nous étudions sont dans la tradition des calculs de processus et du lambda-calcul. Ces modèles, avec leurs caractéristiques algébriques, permettent d'aborder la compositionalité --- une propriété centrale dans notre approche des problèmes. En conséquence, les techniques que nous emploierons seront principalement des techniques opérationnelles, basées sur les notions d'équivalence comportementale, et des techniques basées sur l'algèbre, la logique mathématique et la théorie des types.

Logiciels

Relations industrielles et internationales

Nous avons coopéré, ou sommes en train de coopérer, avec diverses équipes Inria, notamment Indes, Sardes et Moscova, ainsi qu'avec l’ENS Lyon et les universités de Paris VII, Cambridge, Copenhagen, Munich, Lisbonne, Sendai, et d’autres encore. Nous participons aux projets EU Sensoria (Software Engineering for Service-Oriented Overlay Computers) et Hats (Highly Adaptable and Trustworthy Software using Formal Models), ainsi qu’à quelques projets nationaux de plus petite taille.

Mots-clés : Informatique ubiquitaire Interaction Models de calcul Vérification Logique mathématique La théorie des types

Equipes de recherche du même thème :

Siège et centres de recherche Inria

Accès direct

Social